You are about to access our book library "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems full version" .