Verification and Synthesis of Hybrid Systems

Hardback