You are about to access our book library "[Real-Time Systems: Formal Specification and Automatic Verification] [Author: Olderog, Ernst-Rüdiger] [September, 2008] full version" .