Li, Meng; Kumar, Ratnesh: 'Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata', IET Cyber-Physical Systems: Theory & Applications, 2016, 1, (1), p. 95-107, DOI: 10.1049/iet-cps.2016.0024
IET Digital Library, https://digital-library.theiet.org/;jsessionid=1n3c7iq1p6l0y.x-iet-live-01content/journals/10.1049/iet-cps.2016.0024