Formal Methods for Real-Time Computing

Dino Mandrioli , Constance Heitmeyer