J. Vytopil1947Books7x Antonín RaymondFormal techniques in real-time and fault-tolerant systemsAuthor data: Open Library