Parosh Aziz Abdulla Aurore Annichini Ahmed Bouajjani Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. 208-222 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790208.htm db/conf/tacas/tacas99.html#AbdullaAB99