SavorS97'

@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}
}