@InProceedings{Schieferdecker1993b,
  author       = {Ina Kathrin Schieferdecker and Adam Wolisz},
  booktitle    = {Proc. of 3rd Intl. Workshop on Responsive Computer Systems},
  title        = {Verifying Deterministic Performance Bounds of Communication Protocols},
  year         = {1993},
  type			= {conference}
}