author =       {Elvira Albert and Samir Genaim and Miguel G{\'o}mez-Zamalloa and
                  Einar Broch Johnsen and Rudolf Schlatte and S.\ Lizeth {Tapia Tarifa}},
  title =        {Simulating Concurrent Behaviors with Worst-Case Cost Bounds},
  editor =       {Michael Butler and Wolfram Schulte},
  booktitle =    {Proc.\ 17th Intl.\ Symposium on Formal Methods ({FM} 2011)},
  year =         2011,
  series =       {Lecture Notes in Computer Science},
  volume =       6664,
  pages =        {353--368},
  publisher =    {Springer-Verlag},