@InProceedings{Wolisz1993,
  author    = {Adam Wolisz and Ina Kathrin Schieferdecker and Markus Walch},
  booktitle = {4th Workshop on Future Trends of Distributed Computing Systems},
  title     = {A Unified Approach to the Design of Communication Protocols},
  doi       = {10.1109/FTDCS.1993.344210},
  pages     = {411--418},
  url       = {https://ieeexplore.ieee.org/document/344210},
  abstract  = {Quality of service considerations have to be included in the whole protocol engineering cycle. The authors present an integrated approach for the design of communication protocols, including: performance enhanced formal specification of communication protocols, formal requirement specification, statistical performance analysis out of the enhanced formal specification, and verification of bounded performance properties out of the formal specification.},
  type      = {conference},
  year      = {1993}
}