Executable Requirements for Embedded Systems

@inproceedings{Zave-Yeh:ICSE81,
  author    = {Pamela Zave and
               Raymond T. Yeh},
  title     = {Executable Requirements for Embedded Systems},
  booktitle = {ICSE},
  pages     = {295--304},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}