Ciobanu, G., & Lucanu, D. (2009). Model-based Testing and Analysis of Coordinated Components. Electronic Communications of the EASST, 20. https://doi.org/10.14279/tuj.eceasst.20.281