Ciobanu, G.; Lucanu, D. Model-Based Testing and Analysis of Coordinated Components. eceasst 2009, 20.