UML for Real : Design of Embedded Real-Time Systems - Lavagno, Luciano (Kluwer)