@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"
}