@Proceedings{	  BernardoPadovaniZavattaro09,
  editor	= {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
  title		= {Formal Methods for Web Services, 9th International School
		  on Formal Methods for the Design of Computer,
		  Communication, and Software Systems (SFM 2009), Advanced
		  Lectures},
  volume	= {LNCS 5569},
  year		= {2009},
  publisher	= {Springer},
  isbn		= {978-3-642-01917-3},
  doi		= {10.1007/978-3-642-01918-0}
}