Design and Verification of Real-Time Systems

J. V. Phillips, Thomas H. Bredt. Design and Verification of Real-Time Systems. In ICSE. pages 124-131, 1976.

Abstract

Abstract is missing.