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