Title from cover.
"March 2012."
Towards a formalism-based toolkit for automotive applications by Rainer Gmehlich. Published by Newcastle University, Computing Science in 2012. Publication and catalogue information, links to buy online and reader comments.