Towards verified automotive software. - Jewgenij Botaschanjan; Leonid Kof; C. Kühnel; Maria Spichkova (ACM SIGSOFT Softw. Eng. Notes, 2005)