Formal Techniques In Real-Time And Fault Tolerant Systems by Mark Joseph