@inproceedings{conf/IEEEares/HazyS07,
	title = {Automatic Failure Detection with Separation of Concerns.},
	author = {P. Hazy and Rudolph E. Seviora},
	booktitle = {ARES},
	crossref = {conf/IEEEares/2007},
	pages = {173-181},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2007.html#HazyS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/243e0009596f0f72c20f53eb8777efe3d/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2007.49}, date = {2008-04-25},
	keywords = {dblp }
}