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