John S. Fitzgerald Simon Tjell Peter Gorm Larsen Marcel Verhoef Validation Support for Distributed Real-Time Embedded Systems in VDM++. 331-340 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.76 db/conf/hase/hase2007.html#FitzgeraldTLV07