Specification and Design Methodology for Real-Time Embedded Systems by Randall S. Janka