Formal techniques in real-time and fault tolerant systems - Joseph, Mathai (Springer, 2000)