Multi-Level Specification and Verification of Real-Time Software

@inproceedings{Gabrielian-Franklin:ICSE90,
  author    = {Armen Gabrielian and
               Matthew K. Franklin},
  title     = {{Multi-Level} Specification and Verification of {Real-Time} Software},
  booktitle = {ICSE},
  pages     = {52--62},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}