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