Vytopil, J. Formal techniques in real-time and fault-tolerant systems /ed. by J. Vytopil. - Berlin S-V 1991 - ix, 620p - Lecture notes in computer science 571 . ISBN: 3540550925 Dewey Class. No.: 004.2 / N91