The bounded retransmission protocol must be on time! (1997)

by P D’Argenio, J-P Katoen, T Ruys, J Tretmans
Venue:In TACAS,