@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},
	biburl = {http://www.bibsonomy.org/bibtex/24ce6a44023a70e75e1f1381e7630dc41/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.76}, date = {2008-02-09},
	keywords = {dblp }
}