"July 2011."
Title from cover.
A formal approach to collaborative modelling and co-simulation for embedded systems. Published by Newcastle University, Computing Science in 2011. Publication and catalogue information, links to buy online and reader comments.