@inproceedings{DBLP:conf/rtas/SavorS97,
author = {Tony Savor and
Rudolph E. Seviora},
title = {An Approach to Automatic Detection of Software Failures
in Real-Time Systems},
booktitle = {IEEE Real Time Technology and Applications Symposium},
year = {1997},
pages = {136-},
ee = {http://computer.org/proceedings/rtas/8016/80160136abs.htm},
crossref = {DBLP:conf/rtas/1997},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/rtas/1997,
title = {3rd IEEE Real-Time Technology and Applications Symposium
(RTAS '97), 9-11 June 1997, Montreal, Canada},
booktitle = {IEEE Real-Time Technology and Applications Symposium},
publisher = {IEEE Computer Society},
year = {1997},
isbn = {0-8186-8016-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}