Safety Assessment of Autonomous Cars using Verification Techniques. - Althoff, Matthias; Stursberg, Olaf; Buss, Martin (2007)