Nelson Antunes António Pacheco Rui Rocha A Markov Renewal Based Model for Wireless Networks. 247-281 2002 40 Queueing Syst. 3 db/journals/questa/questa40.html#AntunesPR02