@Inproceedings{GHR13,
  author = 	 {Geeraerts, G. and Heu\ss{}ner, A. and Raskin, J.F.},
  title = 	 {Queue-Dispatch Asynchronous Systems},
  booktitle =    {Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD)},
  year = 	 {2013},
  publisher =    {IEEE},
}