1. Defense Advanced Research Projects Agency: DARPA Urban Challenge (2007),
http://archive.darpa.mil/grandchallenge/index.asp
2. Kelly, H.: Self-driving cars now legal in California (October 2012),
http://www.cnn.com/2012/09/25/tech/innovation/self-driving-car-california
3. Howard, B.: Google: Self-driving cars in 3-5 years. Feds: Not so fast (February 2013),
http://www.extremetech.com/extreme/147940-google-self-driving-cars-in-3-5-years-feds-not-so-fast
4. Mui, C.: Fasten your seatbelts: Google’s driver-less car is worth trillions (January 2013),
http://www.forbes.com/sites/chunkamui/2013/01/22/fasten-your-seatbelts-googles-driverless-car-is-worth-trillions/
5. Mitsch, S., Loos, S., Platzer, A.: Towards formal verification of freeway traffic control. In: Third IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS), pp. 171–180 (2012)