@InProceedings{AhrendtDylla09,
   author = 	 {Wolfgang Ahrendt and Maximilian Dylla},
   title = 	 {A Verification System for Distributed Objects with Asynchronous Method Calls},
   booktitle =	 {Formal Methods and Software Engineering, International Conference on Formal Engineering Methods, ICFEM'09},
   pages =	 {387-406},
   year =	 {2009},
   editor =	 {Karin Breitman and Ana Cavalcanti},
   volume =	 {5885},
   series =	 "LNCS",
   publisher =	 "Springer"
}