Design and Verification of Real-Time Systems

@inproceedings{Phillips-Bredt:ICSE76,
  author    = {J. V. Phillips and
               Thomas H. Bredt},
  title     = {Design and Verification of {Real-Time} Systems},
  booktitle = {ICSE},
  pages     = {124--131},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}