@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}
}