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