Return to Article Details Model-based Testing and Analysis of Coordinated Components Download Download PDF