1. D. Brand and W. H. Joyner. Verification of HDLC. IEEE Transactions on Communications 30(5): 1136–1142, 1982.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill and J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2):142–170, 1992.
3. R. Cardell-Oliver. The specification and verification of sliding-window protocols in higher order logic. Technical Report No. 183, Computer Laboratory, University of Cambridge, 1989.
4. C. Cornes, J. Courant, J.-C. Filliâtre, G. Huet, P. Manoury, C. Paulin-Mohring, C. Muñoz, C. Murthy, C. Parent, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual Version 6.1. Technical Report RT-0203, INRIA, July 1997.
5. J-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A protocol validation and verification toolbox. Computer-Aided Verification, LNCS 1102, 1996.