Uml for Real: Design of Embedded Real-Time Systems