@inproceedings{conf/isola/HoosierDRH04,
	title = {A Case Study in Domain-Customized Model Checking for Real-Time Component Software.},
	author = {Matthew Hoosier and Matthew B. Dwyer and  Robby and John Hatcliff},
	booktitle = {ISoLA},
	crossref = {conf/isola/2004},
	editor = {Tiziana Margaria and Bernhard Steffen},
	pages = {161-180},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/isola/isola2004.html#HoosierDRH04},
	volume = {4313},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2c695dd42851d175a0bd9b3e3a978a6bf/dblp},
	description = {dblp},
	date = {2006-11-15}, ee = {http://dx.doi.org/10.1007/11925040_11}, isbn = {3-540-48928-2},
	keywords = {dblp }
}