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=2fkkbjr5j2o1h.x-iet-live-01content/journals/10.1049/iet-cps.2016.0024