@Article{GHR13, author = {Geeraerts, G. and Heu\ss{}ner, A. and Raskin, J.F.}, title = {On the Verification of Concurrent, Asynchronous Programs with Waiting Queues}, year = {2014}, journal = {ACM Transactions on Embedded Computing}, pages = {26}, note = {To appear} }