Li, Meng; Kumar, Ratnesh: 'Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow', IET Cyber-Physical Systems: Theory & Applications, 2017, 2, (1), p. 28-41, DOI: 10.1049/iet-cps.2017.0007
IET Digital Library, https://digital-library.theiet.org/;jsessionid=2311p3ttbax0p.x-iet-live-01content/journals/10.1049/iet-cps.2017.0007