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