1. Information technology. Open systems interaction. Conformance testing methodology and framework. International Standard IS-9646. 1991.
2. A pragmatic approach to generating test sequences for embedded systems. Proceedings of the 10th IFIP International Workshop on Testing Communicating Systems, Cheju Island, Korea. Kluwer Academic: Norwell, MA, 1997; 125-140.
3. Testing in context: framework and test derivation
4. Hit-or-Jump: An algorithm for embedded testing with applications to IN services. Proceedings of the 12th IFIP Joint International Conference FORTE/PSTV99, Beijing, China. Kluwer Academic: Norwell, MA, 1999; 41-58.
5. Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach