G. Ciobanu and D. Lucanu, “Model-based Testing and Analysis of Coordinated Components”, eceasst, vol. 20, Nov. 2009.