You are about to access our book library "Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558) full version" .