Ren, Hao; Huang, Jing; Jiang, Shengbing; Kumar, Ratnesh: 'Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata', IET Cyber-Physical Systems: Theory & Applications, 2017, 2, (2), p. 65-74, DOI: 10.1049/iet-cps.2016.0042
IET Digital Library, https://digital-library.theiet.org/;jsessionid=1pjg4dqh4g55r.x-iet-live-01content/journals/10.1049/iet-cps.2016.0042