author    = {Ivan Lanese and Michael Lienhardt and Mario Bravetti and Einar Broch Johnsen and
               Rudolf Schlatte and Volker Stolz and Gianluigi Zavattaro},
  title     = {Fault Model Design Space for Cooperative Concurrency},
  editor    = {Tiziana Margaria and Bernhard Steffen},
  booktitle = {Proc.\ 6th Intl.\ Symposium on Leveraging Applications of 
               Formal Methods, Verification and Validation ({ISoLA} 2014)},
  year      = 2014,
  series    = {Lecture Notes in Computer Science},
  volume    = 8803,
  pages     = {22--36},
  publisher = {Springer-Verlag},