Introduction to the Formal Design of Real Time Systems by David Gray & D.F. Gray