Real Time UML: Advances in the UML for Real-Time System - Bruce Powel Douglass (Addison-Wesley, 2006)