Specification and design methodology for real-time embedded system - JANKA, Randall S. (Kluwer Academic, 2002)