@inproceedings{conf/hase/FitzgeraldTLV07,
title = {Validation Support for Distributed Real-Time Embedded Systems in VDM++.},
author = {John S. Fitzgerald and Simon Tjell and Peter Gorm Larsen and Marcel Verhoef},
booktitle = {HASE},
crossref = {conf/hase/2007},
pages = {331-340},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/hase/hase2007.html#FitzgeraldTLV07},
year = {2007},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.76}, date = {2008-02-09},
keywords = {dblp }
}
::