Introduction to the Formal Design of Real-Time Systems David F. Gray Taschenbuch