@article(Abbas2015,
 author       = {Houssam Abbas and Georgios E. Fainekos},
 year         = {2015},
 title        = {Towards composition of conformant systems},
 journal      = {CoRR},
 volume       = {abs/1511.05273},
 url          = {http://arxiv.org/abs/1511.05273},
)
@inproceedings(Abbas14,
 author       = {Houssam Abbas and Hans Mittelmann and Georgios E. Fainekos},
 year         = {2014},
 title        = {Formal property verification in a conformance testing framework},
 booktitle    = {Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on},
 pages        = {155--164},
 doi          = {10.1109/MEMCOD.2014.6961854},
)
@phdthesis(AbbasThesis15,
 author       = {Houssam Y. Abbas},
 year         = {2015},
 title        = {Test-Based Falsification and Conformance Testing for Cyber-Physical Systems},
 school       = {Arizona State University},
 url          = {http://hdl.handle.net/2286/R.A.150686},
)
@incollection(Aerts16,
 author       = {Arend Aerts and Mohammad Reza Mousavi and Michel A. Reniers},
 year         = {2016},
 title        = {Model-based testing of cyber-physical systems},
 booktitle    = {Cyber-Physical Systems: Foundations, Principles and Applications},
 publisher    = {Elsevier},
 note         = {To appear},
)
@incollection(Alur1993,
 author       = {Rajeev Alur and Costas Courcoubetis and Thomas A. Henzinger and Pei Hsin Ho},
 year         = {1993},
 title        = {Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems},
 editor       = {Robert L. Grossman and Anil Nerode and Anders P. Ravn and Hans Rischel},
 booktitle    = {Hybrid Systems},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {209--229},
 doi          = {10.1007/3-540-57318-6_30},
)
@inproceedings(Benes2015,
 author       = {Nikola Benes and Przemyslaw Daca and Thomas A. Henzinger and Kret{\'{\i}}nsk{\'{y}}, Jan and Dejan Nickovic},
 year         = {2015},
 title        = {Complete Composition Operators for IOCO-Testing Theory},
 booktitle    = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on Component-Based Software Engineering ({CBSE} 2015)},
 publisher    = {{ACM}},
 pages        = {101--110},
)
@inproceedings(Deshmukh15,
 author       = {Jyotirmoy V. Deshmukh and Rupak Majumdar and Vinayak S. Prabhu},
 year         = {2015},
 title        = {Quantifying Conformance Using the Skorokhod Metric},
 editor       = {Daniel Kroening and P{\u{a}}s{\u{a}}reanu, S. Corina},
 booktitle    = {Proceedings of the 27th International Conference on Computer Aided Verification ({CAV} 2015), Part II},
 publisher    = {Springer},
 pages        = {234--250},
 doi          = {10.1007/978-3-319-21668-3_14},
)
@inproceedings(Dreossi2015,
 author       = {Tommaso Dreossi and Thao Dang and Alexandre Donz{\'{e}} and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh},
 year         = {2015},
 title        = {Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems},
 editor       = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
 booktitle    = {Proceedings of the 7th International Symposium of {NASA} Formal Methods ({NFM} 2015)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9058},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-319-17524-9_10},
)
@inproceedings(Fainekos2015,
 author       = {Georgios E. Fainekos},
 year         = {2015},
 title        = {Automotive control design bug-finding with the {S\-TaLiRo} tool},
 booktitle    = {Proceedings of the American Control Conference ({ACC} 2015)},
 publisher    = {{IEEE}},
 pages        = {4096},
 doi          = {10.1109/ACC.2015.7171969},
)
@article(Girard2011,
 author       = {Antoine Girard and George J. Pappas},
 year         = {2011},
 title        = {Approximate Bisimulation: {A} Bridge Between Computer Science and Control Theory},
 journal      = {European Journal of Control},
 volume       = {17},
 number       = {5-6},
 pages        = {568--578},
 doi          = {10.3166/ejc.17.568-578},
)
@article(Julius2009,
 author       = {A. Agung Julius and Alessandro {D'Innocenzo} and Di Benedetto, Maria Domenica and George J. Pappas},
 year         = {2009},
 title        = {Approximate equivalence and synchronization of metric transition systems},
 journal      = {Systems {\&} Control Letters},
 volume       = {58},
 number       = {2},
 pages        = {94--101},
 doi          = {10.1016/j.sysconle.2008.09.001},
)
@article(Julius09,
 author       = {A. Agung Julius and George J. Pappas},
 year         = {2009},
 title        = {Approximations of Stochastic Hybrid Systems},
 journal      = {{IEEE} Trans. Automat. Contr.},
 volume       = {54},
 number       = {6},
 pages        = {1193--1203},
 doi          = {10.1109/TAC.2009.2019791},
)
@inproceedings(Khakpour2015,
 author       = {Narges Khakpour and Mohammad Reza Mousavi},
 year         = {2015},
 title        = {Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)},
 booktitle    = {Proceedings of the 26th International Conference on Concurrency Theory ({CONCUR} 2015)},
 series       = {LIPIcs–Leibniz International Proceedings in Informatics},
)
@article(lynch2003hybrid,
 author       = {Nancy Lynch and Roberto Segala and Frits Vaandrager},
 year         = {2003},
 title        = {Hybrid {I/O} automata},
 journal      = {Information and Computation},
 volume       = {185},
 number       = {1},
 pages        = {105--157},
 doi          = {10.1016/S0890-5401(03)00067-1},
)
@inproceedings(Mohaqeqi2016,
 author       = {Morteza Mohaqeqi and Mohammad Reza Mousavi},
 year         = {2016},
 title        = {Sound Test-Suites for Cyber-Physical Systems},
 booktitle    = {Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering ({TASE} 2016)},
 publisher    = {IEEE Computer Society},
 doi          = {10.1109/TASE.2016.33},
)
@inproceedings(Mohaqeqi2014,
 author       = {Morteza Mohaqeqi and Mohammad Reza Mousavi and Walid Taha},
 year         = {2014},
 title        = {Conformance Testing of Cyber-Physical Systems: A Comparative Study},
 booktitle    = {Proceedings of the 14th International Workshop on Automated Verification of Critical Systems ({AVOCS} 2014)},
 series       = {Electronic Communications of the EASST},
 volume       = {70},
)
@incollection(vanOsch2006,
 author       = {Michiel van Osch},
 year         = {2006},
 title        = {Hybrid input-output conformance and test generation},
 booktitle    = {FATES/RV},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {70--84},
)
@inproceedings(Tabuada07,
 author       = {Paulo Tabuada},
 year         = {2007},
 title        = {Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems},
 booktitle    = {Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control ({HSCC} 2007)},
 series       = {Lecture Notes in Computer Science},
 volume       = {4416},
 publisher    = {Springer},
 pages        = {529--542},
 doi          = {10.1007/978-3-540-71493-4_41},
)
@article(Zamani15,
 author       = {Majid Zamani and Alessandro Abate and Antoine Girard},
 year         = {2015},
 title        = {Symbolic models for stochastic switched systems: {A} discretization and a discretization-free approach},
 journal      = {Automatica},
 volume       = {55},
 pages        = {183--196},
 doi          = {10.1016/j.automatica.2015.03.004},
)