You are about to access our book library "Real-Time Systems: Formal Specification and Automatic Verification full version" .