Formal techniques in real-time and fault-tolerant systems by Hans Langmaack | Menrva Books | MenrvaBooks