, ISO/IEC/IEEE international standard -health informatics -personal health device communication -part 20601: Application profile -optimized exchange protocol, 2016.

A. Abdel-karim-helal-abu-ein, A. M. Moh'd-said, A. Hatamleh, and . Sharadqeh, Using Finite State Machine at the Testing of Network Protocols, 2011.

B. K. Aichernig, E. Jöbstl, and S. Tiran, Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, vol.97, issue.P4, pp.383-404, 2015.

B. K. Aichernig, F. Lorber, and D. Ni?kovi?, Time for mutants -model-based mutation testing with timed automata, Margus Veanes and Luca Viganò, vol.7942, pp.20-38, 2013.

B. K. Aichernig, B. Peischl, M. Weiglhofer, and F. Wotawa, Protocol conformance testing a SIP registrar: an industrial application of formal methods, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM, 2007.

A. M. Ambrosio, A. C. Pinheiro, and A. Simão, FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study, Journal of Aerospace Technology and Management, vol.6, issue.4, pp.447-461, 2014.

É. André, P. Arcaini, A. Gargantini, and M. Radavelli, Repairing timed automata clock guards through abstraction and testing, Tests and Proofs -13th International Conference, 2019.

P. Arcaini, A. Gargantini, and E. Riccobene, SMT-based automatic proof of ASM model refinement, Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, pp.253-269, 2016.

P. Arcaini, A. Gargantini, E. Riccobene, and P. Scandurra, A model-driven process for engineering a toolset for a formal method, Software: Practice and Experience, vol.41, pp.155-166, 2011.

P. Arcaini and E. Riccobene, Automatic refinement of asm abstract test cases, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2019.

B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-line test case generation for timed symbolic model-based conformance testing, Testing Software and Systems, pp.119-135, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482398

S. Bonfanti, M. Carissoni, A. Gargantini, and A. Mashkoor, Asm2c++: A tool for code generation from abstract state machines to arduino, NASA Formal Methods, pp.295-301, 2017.

S. Bonfanti, A. Gargantini, and A. Mashkoor, Generation of C++ unit tests from abstract state machines specifications, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.185-193, 2018.

E. Börger and R. F. Stark, Abstract State Machines: A Method for High-Level System Design and Analysis, 2003.

D. Achim, L. Brucker, B. Brügger, and . Wolff, Model-based firewall conformance testing, Testing of Software and Communicating Systems, pp.103-118, 2008.

A. Cimatti, R. Demasi, and S. Tonetta, Tightening the contract refinements of a system architecture, Formal Methods in System Design, vol.52, issue.1, pp.88-116, 2018.

R. Dorofeeva, K. El-fakih, S. Maag, A. R. Cavalli, and N. Yevtushenko, FSM-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00593960

R. Dorofeeva, K. El-fakih, S. Maag, A. R. Cavalli, and N. Yevtushenko, Fsm-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00593960

S. Fujiwara, G. V. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, Test selection based on finite state models, IEEE Transactions on Software Engineering, vol.17, issue.6, pp.591-603, 1991.

A. Fukada, A. Nakata, J. Kitamichi, T. Higashino, and A. Cavalli, A conformance testing method for communication protocols modeled as concurrent DFSMs. treatment of non-observable non-determinism, Proceedings 15th International Conference on Information Networking, 2001.

A. Gargantini and E. Riccobene, ASM-based testing: Coverage criteria and automatic test sequence, Journal of Universal Computer Science, vol.7, issue.11, pp.1050-1067, 2001.

J. John, S. Garguilo, M. Martinez, and . Cherkaoui, Medical device communication: A standards-based conformance testing approach, 9th International HL7 Interoperability Conference, 2008.

L. Gebase, R. Snelick, and M. Skall, Conformance testing and interoperability: A case study in healthcare data exchange, Software Engineering Research and Practice, pp.143-151, 2008.

H. Hemmati, How effective are code coverage criteria?, 2015 IEEE International Conference on Software Quality, Reliability and Security, 2015.

R. D. Jeffords, C. L. Heitmeyer, M. M. Archer, and E. I. Leonard, Model-based construction and verification of critical systems using composition and partial refinement, Formal Methods in System Design, vol.37, issue.2, pp.265-294, 2010.

M. Krichen, M. Maâlej, and . Lahami, A model-based approach to combine conformance and load tests: an eHealth case study, International Journal of Critical Computer-Based Systems, vol.8, issue.3/4, p.282, 2018.

J. Lim, C. Park, S. Park, and K. Lee, Iso/ieee 11073 phd message generation toolkit to standardize healthcare device, Annual International Conference of the IEEE, pp.1161-1164, 2011.

B. Utting, Practical Model-Based Testing, 2007.

L. Marsso, R. Mateescu, and W. Serwe, Testor: A modular tool for on-the-fly conformance test case generation, Tools and Algorithms for the Construction and Analysis of Systems, pp.211-228, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777861

T. Namli, G. Aluc, and A. Dogac, An interoperability test framework for HL7-based systems, IEEE Transactions on Information Technology in Biomedicine, vol.13, issue.3, pp.389-399, 2009.

S. Salva and T. Cao, A model-based testing approach combining passive conformance testing and runtime verification: Application to web service compositions deployed in clouds, Management and Applications, pp.99-116, 2014.

B. Sarikaya, G. V. Bochmann, and E. Cerny, A test design methodology for protocol testing, IEEE Transactions on Software Engineering, SE, vol.13, issue.5, pp.518-531, 1987.

A. Gargantini, S. Bonfanti, and A. Mashkoor, Validation of code transformation from Abstract State Machine models to C++ code, ICTSS 2018 -30th International Conference on Testing Software and Systems, pp.17-32, 2018.

J. Springintveld, F. Vaandrager, and P. R. D'argenio, Testing timed automata, Theoretical Computer Science, vol.254, issue.1-2, pp.225-257, 2001.

L. Yu, Y. Lei, N. Raghu, D. R. Kacker, R. D. Kuhn et al., A general conformance testing framework for IEEE 11073 PHD's communication model, Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA '13, vol.12, pp.1-12, 2013.

Y. Zhao and K. Y. Rozier, Formal specification and verification of a coordination protocol for an automated air traffic control system, Science of Computer Programming, vol.96, pp.337-353, 2012.