You are about to access our book library "Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science, 4157) full version" .