Specification and Design Methodology for Real-Time Embedded Systems - Janka, Randall S. (Springer US, 2002)