Specification and Seamless Verification ofEmbedded Real-Time Systems by Maria Spichkova