Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings - Ravn, A.P. (et-al) (Springer: Tokyo, 1998)
Keywords: Formal techniques