Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.

Carlo Ghezzi Miguel Felder Carlo Bellettini Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. 11-36 1993 conf/esec/1993 ESEC db/conf/esec/esec93.html#GhezziFB93