Towards a formalism-based toolkit for automotive applications /
Gmehlich, R.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, Newcastle University,
c2012.
Caption title.
"March 2012."