Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems - Selic, Bran (Morgan Kaufmann, 2014)