Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE - Selic, Bran (Morgan Kaufmann, 2014)