References
- Gerald J. Holzmann, 'Design and Validation of Computer Protocols,' Prentice Hall Software Series, 1991
- Dieter Barnard, and Simon Crosby, 'The Specification and Verification of an Experimental ATM Signalling Protocol,' Protocol Specification, Testing and Verification XV, pp. 155-170, Chapman & Hall, 1996
- Stefan Leuc, 'Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-Based Approach,' Protocol Specification, Testing and Verification XV, pp. 19-34, Chapman & Hall, 1996
- Kshirasagar Naik and Behcet Sarikaya, 'Protocol Conformance Test Case Verification Using Timed-Transitions,' Protocol Specification, Testing and Verification XIV, pp. 103-118, Chapman & Hall, 1995
- S. Bradley, W.D. Henderson, D. Kendall and A.P. Robson, 'Validation, Verification and Implementation of Timed Protocols using AORTA,' Protocol Specification, Testing and Verification XV, pp. 205-220, Chapman & Hall, 1996
- L. Cacciari and O. Rafiq, 'A Temporal reachability analysis,' Protocol Specification, Testing and Verification XV, pp. 35-49, Chapman & Hall, 1996
- Inhye Kang and Insup Lee, 'An Efficient State Space Generation for Analysis of Real-time Systems,' International Symposium on Software Testing and Analysis '96. pp 4-13. 1996 https://doi.org/10.1145/229000.226297
- Andrew S. Tanenbaum, 'Computer Networks 3rd edition,' Prentice Hall, 1996
- Gerrit Jan Tretmans, 'A Formal Approach to Conformance Testing.' 박사학위논문, Faculteit der Informatica Universiteit Twente, Netherlands, 1992
- Robin Milner, 'Communication and Concurrency,' Prentice Hall, 1989
- Fred D.J. Bowden, 'Modelling time in Petri nets,' The Second Australia-Japan Workshop on Stochastic Models in Engineering, Technology and Management, Gold Coast. July 17-19 1996, pp. 66-81, 1996