Embedded Systems: Design, Analysis and Verification - Schirner (Springer Berlin Heidelberg, 2013)