Modeling and analysis of real-time and embedded systems with UML and MARTE developing cyber-physical systems - Selic, Bran (MK/OMG Press, 2014)