Comparing protocol stacks using stochastic Petri nets. - Petri Mikkilä; Mikko Tiusanen (SMC (5), 2004)