Pieter S. Kritzinger Graham Wheeler Semi-Markovian Analysis of Protocol Performance. 159-172 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#KritzingerW93