@InProceedings{,
  author = 	 {P.R. D'Argenio, J-P. Katoen, T.C. Ruys, and J. Tretmans},
  title = 	 {he Bounded Retransmission Protocol must be on time!},
  booktitle = 	 {3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'97, Enschede, The Netherlands},
  OPTpages = 	 {416--431},
  OPTyear = 	 {1997},
  OPTeditor = 	 {pringer Verlag},
  OPTseries = 	 {LNCS 1217},
}