Model-based requirements specification of real-time systems with UML, SysML and MARTE. - Ribeiro, Fabíola Gonçalves C.; Pereira, Carlos E.; Rettberg, Achim; Soares, Michel S. (Software & Systems Modeling, 2018)