Real-Time Systems Formal Specification and Automatic Verification Olderog, Ernst-Rüdiger Innbundet / 2008 / Engelsk
