Greg Franks Tariq Omari C. Murray Woodside Olivia Das Salem Derisavi Enhanced Modeling and Solution of Layered Queueing Networks. 148-161 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.74 db/journals/tse/tse35.html#FranksOWDD09