UML for Real Design of Embedded Real-Time Systems - Lavagno, Luciano; Martin, Grant; Selic, Bran (Springer US, 2003)