Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial)

@inproceedings{Faulk-Heitmeyer:ICSE97,
  author    = {Stuart R. Faulk and
               Constance L. Heitmeyer},
  title     = {Rigorous Requirements for {Real-Time} Systems: Evolution and Application of the {SCR} Method {(Tutorial)}},
  booktitle = {ICSE},
  pages     = {637--638},
  publisher = {{ACM}},
  year      = {1997},
}