Software Specification of Real-Time Systems

@inproceedings{Urban1994SoftwareSO,
  title={Software Specification of Real-Time Systems},
  author={Joseph E. Urban},
  booktitle={ICPADS},
  year={1994}
}