@TechRep{GHR12,
  author =       {Geeraerts, G. and Heussner, A. and, Raskin, J.F
  title =        {Queue-Dispatch Asynchronous Systems},
  page = 26,
  note = {submitted},
  year      = {2012}
}