Formal methods for real-time computing / - Heitmeyer, Constance.; Mandrioli, Dino. (John Wiley,, 1996)