Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE | IEEE Journals & Magazine | IEEE Xplore