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