@inproceedings{conf/etfa/FurfaroN05,
	title = {Model checking hierarchical communicating real-time state machines.},
	author = {Angelo Furfaro and Libero Nigro},
	booktitle = {ETFA},
	crossref = {conf/etfa/2005},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#FurfaroN05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2be78cb3162ebaa65b7a321d754511a51/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612546}, date = {2007-07-10},
	keywords = {dblp }
}