@Inproceedings{EPTCS232.8, author = {Mohaqeqi, Morteza and Mousavi, Mohammad Reza }, year = {2016}, title = {Towards an Approximate Conformance Relation for Hybrid I/O Automata}, editor = {Kargahi, Mehdi and Trivedi, Ashutosh}, booktitle = {{\rm Proceedings of the The First Workshop on} Verification and Validation of Cyber-Physical Systems, {\rm Reykjav\'ik, Iceland, June 4-5, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {232}, publisher = {Open Publishing Association}, pages = {53-64}, doi = {10.4204/EPTCS.232.8}, }