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