@Article{VassiliouGioles1998,
  author    = {Theofanis Vassiliou{-}Gioles and Ina Kathrin Schieferdecker},
  title     = {Case Study in Protocol Validation: Validating an {ATM} Signalling Protocol},
  doi       = {10.1007/s001650050029},
  pages     = {483--508},
  volume    = {10, no. 5-6},
  abstract  = {This paper discusses validation techniques for communication protocols and analyzes the practical use of selected validation techniques in an automated manner. A case study on validating the ATM (Asynchronous Transfer Mode) Signalling Protocol as specified by ITU-T in Q.2931 is used for this analysis. Different error classes are identified and valiyeard. An assessment of the different validation techniques in terms of effort and quality of results is given. As a result of the case study, an evaluation of the Q.2931 SDL specification completes the paper.},
  file      = {:1998/VassiliouGioles1998 - Case Study in Protocol Validation_ Validating an ATM Signalling Protocol.pdf:PDF},
  journal   = {Formal Aspects of Computing},
  publisher = {Springer Science and Business Media},
  type      = {article},
  year      = {1998}
}