Formal Techniques in Real-Time and Fault -Tolerant Systems : Lecture Notes in Computer Science : Proceedings - Jonsson, B.: Parrow, J. (Springer: Tokyo, 1996)
Keywords: Formal Techniques