Jiale Huo Alexandre Petrenko Transition covering tests for systems with queues. 55-83 2009 19 Softw. Test., Verif. Reliab. 1 http://dx.doi.org/10.1002/stvr.396 db/journals/stvr/stvr19.html#HuoP09