Reihe Design, Test and Verification of Embedded SystemsGeorges Morbé × Verifying Real-Time Systems Georges MorbéDer Andere VerlagSoftcover2015