Real time UML : advances in the UML for real-time systems - Douglass, Bruce Powel (The Addison-Wesley object technology series, 2012)