"July 2010."
Title from cover.
Collaborative modelling and co-stimulation in the development of dependable embedded systems. Published by University of Newcastle upon Tyne, Computing Science in 2010. Publication and catalogue information, links to buy online and reader comments.