Embedded Systems: Design, Analysis and Verification