N. Benes, P. Daca, T. A. Henzinger, J. Kretínský, and D. Nickovic, Complete composition operators for ioco-testing theory, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, pp.101-110, 2015.

M. Van-der-bijl, A. Rensink, and J. Tretmans, Compositional testing with ioco, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, vol.2931, pp.86-100, 2003.

N. C. Braspenning, J. M. Van-de-mortel-fronczak, and J. E. Rooda, A model-based integration and testing method to reduce system development effort, Electr. Notes Theor. Comput. Sci, vol.164, issue.4, pp.13-28, 2006.

, CAN in Automation Int. Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Comm. Profile, 2011.

V. V. Energybus-e, CiA 454 Draft Standard Proposal Application profile for energy management systems -doc. series 1-14, CAN in Automation Int. Users and Manufacturers Group e, 2014.

R. H. Carver and Y. Lei, A modular approach to model-based testing of concurrent programs, Multicore Software Engineering, Performance, and Tools -International Conference, MUSEPAT 2013, vol.8063, pp.85-96, 2013.

P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for ioco testing, Seventh IEEE International Conference on Software Testing, Verification and Validation, pp.373-382, 2014.

R. De-nicola, Extensional equivalences for transition systems, Acta Inf, vol.24, issue.2, pp.211-237, 1987.

R. De-nicola and M. Hennessy, Testing equivalences for processes, Theor. Comput. Sci, vol.34, pp.83-133, 1984.

H. Garavel, F. Lang, and R. Mateescu, Compositional verification of asynchronous concurrent systems using, CADP. Acta Inf, vol.52, issue.4-5, pp.337-392, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01138749

R. Gotzhein and F. Khendek, Compositional testing of communication systems, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, vol.3964, pp.227-244, 2006.

S. Graf, B. Steffen, and G. Lüttgen, Compositional minimisation of finite state systems using interface specifications, Formal Asp. Comput, vol.8, issue.5, pp.607-616, 1996.

A. Graf-brill, A. Hartmanns, H. Hermanns, and S. Rose, Modelling and certification for electric mobility, 15th IEEE International Conference on Industrial Informatics, pp.109-114, 2017.

A. Graf-brill and H. Hermanns, Model-based testing for asynchronous systems, Critical Systems: Formal Methods and Automated Verification -Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems -and -17th International Workshop on Automated Verification of Critical Systems, vol.10471, pp.66-82, 2017.

A. Graf-brill, H. Hermanns, and H. Garavel, A model-based certification framework for the energybus standard, Formal Techniques for Distributed Objects, Components, and Systems -34th IFIP WG 6.1 International Conference, vol.8461, pp.84-99, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098360

L. Heerink, Ins and Outs in Refusal Testing, 1998.

T. A. Henzinger, S. Qadeer, and S. K. Rajamani, You assume, we guarantee: Methodology and case studies, 10th International Conference, CAV '98, vol.1427, pp.440-451, 1998.

R. Janssen and J. Tretmans, Matching Implementations to Specifications: The Corner Cases of ioco, ACM/SIGAPP Symp. on Applied Computing -Software Verification and Testing Track, pp.2196-2205, 2019.

R. Langerak, A testing theory for LOTOS using deadlock detection, Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, pp.87-98, 1989.

L. Marsso, R. Mateescu, and W. Serwe, TESTOR: A modular tool for on-thefly conformance test case generation, Tools and Algorithms for the Construction and Analysis of Systems -24th International Conference, vol.10806, pp.211-228, 2018.

N. Noroozi, M. R. Mousavi, and T. A. Willemse, Decomposability in input output conformance testing, Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, pp.51-66, 2013.

I. Phillips, Refusal testing, Theor. Comput. Sci, vol.50, pp.90117-90121, 1987.

J. Tretmans, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, vol.4949, pp.1-38

. Springer, , 2008.