1. Using a model-based test generator to test for standard conformance
2. Model-based quality assurance of protocol documentation: tools and methodology
3. Testing Software Design Modeled by Finite-State Machines
4. Dssouli R. and von Bochmann G. (1985) Error Detection with Multiple Observers. Protocol Specification, Testing and Verification V, Toulouse-Moissac, France, pp. 483–494. Elsevier Science, North Holland,
5. Dssouli R. and von Bochmann G. (1986) Conformance Testing with Multiple Observers. Protocol Specification, Testing and Verification VI, Gray Rocks Inn, Canada, pp. 217–229. Elsevier Science, North Holland,