Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) | lit.salon