@inproceedings{DBLP:conf/icre/SchneiderECH98,
  author    = {Francis Schneider and
               Steve M. Easterbrook and
               John R. Callahan and
               Gerard J. Holzmann},
  title     = {Validating Requirements for Fault Tolerant Systems using
               Model Checking},
  booktitle = {ICRE},
  year      = {1998},
  pages     = {4-13},
  ee        = {http://computer.org/proceedings/icre/8356/83560004abs.htm},
  crossref  = {DBLP:conf/icre/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icre/1998,
  title     = {3rd International Conference on Requirements Engineering
               (ICRE '98), Putting Requirements Engineering to Practice,
               April 6-10, 1998, Colorado Springs, CO, USA, Proceedings},
  booktitle = {ICRE},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-8356-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}