1. A. W. Roscoe. Proving security protocols with model checkers by data independence techniques. In 11th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, (1998).
2. R .S. Lazić. A semantic study of data-independence with applications to the mechanical verification of concurrent systems. D. Phil. Thesis, University of Oxford, (1999).
3. Failures-Divergence Refinement—FDR2 User Manual. Formal Systems(Europe)Ltd〈http: /www. fsel. com/〉(2003).
4. R .S. Lazić and A. W. Roscoe, Verifying determinism of data- independence systems with labellings, arrays and constants, Submitted for publication, (1998).
5. C. Zhang, L.Q. Qian, Y.F. Wang, research of automatic selection of test input data based on extended finite state machine, Journal of Computers, 2003, Vol10.