Verification and Validation Activities for Embedded Systems - A Feasibility Study on a Reading Technique for SysML Models. - Erik Aceiro Antonio; Rafael Rovina; Sandra Camargo Pinto Ferraz Fabbri (ICEIS (2), 2014)

RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink. - Erik Aceiro Antonio (2014)