@Article{AhrendtDylla10,
  author  = {Wolfgang Ahrendt and Maximilian Dylla},
  title   = {A System for Compositional Verification of Asynchronous Objects},       
  journal = {Science of Computer Programming},
  doi = {http://dx.doi.org/10.1016/j.scico.2010.08.003},
  year    = {2010},
  publisher = {Elsevier}
}