1. Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input/output transition systems. In: 11th IFIP Workshop on Testing of Communicating Systems, pp. 67–82. Kluwer Academic Publishers, Dordrecht (1998)
2. Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. IST 41(11-12), 767–780 (1999)
3. Lecture Notes in Computer Science;A.L.C. Cavalcanti,2007
4. Dssouli, R., Bochmann, G.v.: Error detection with multiple observers. In: PSTV, pp. 483–494. Elsevier Science, Amsterdam (1985)
5. Hierons, R.M.: Overcoming controllability problems in distributed testing from an input output transition system (submitted),
people.brunel.ac.uk/~csstrmh/coord.pdf