Test oracles for simulink-like models - Baresi, Luciano; Delamaro, Márcio Eduardo; Nardi, Paulo Augusto (Automated Software Engineering an International Journal, 2017)