R. Passarini, L. Becker, and J. Farines. " The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models", in Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, Niterói/RJ, 2013, pp. 47-52.