B.: Automating verification of cooperation, control, and design in traffic applications (2007)

by W Damm, A Mikschl, J Oehlerking, E R Olderog, J Pang, A Platzer, M Segelken, Wirtz
Venue:Formal Methods and Hybrid Real-Time Systems. Volume 4700 of Lecture Notes in Computer Science