Marcel Verhoef Peter Gorm Larsen Jozef Hooman Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. 147-162 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_11 db/conf/fm/fm2006.html#VerhoefLH06