@book { conf/swb/Sharygi,
	title = {Model Checking with Abstraction for Web Services.},
	series = {Test and Analysis of Web Services},
	year = {2007},
	pages = {121-145},
	publisher = {Springer},
	type = {incollection},
	ISBN = {978-3-540-72912-9},
	author = { Sharygina, Natasha  and   Kröning, Daniel}
	editor = {Luciano Baresi and Elisabetta Di Nitto},
}