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