1. Model-Based Testing of Reactive Systems;Broy,2005
2. WiP abstract: conformance testing as falsification for cyber-physical systems;Abbas,2014
3. Formal property verification in a conformance testing framework;Abbas,2014
4. T. Dang, Model-based testing of hybrid systems, in: Monograph in Model-Based Testing for Embedded Systems, CRC Press.
5. Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper);Khakpour,2015