Formal Methods For The Design Of Real-Time Systems door Bob Plamondon & M. Bernardo