A benchmark for comparing different approaches for specifying and verifying real-time systems (1993)

by C L Heitmeyer, R D Jeffords, B G Labaw
Venue:In Proceedings of the Tenth International Workshop on Real-Time Operating Systems and Software