@book{BeckerGieseNeumann2009,
  author    = {Basil Becker and Holger Giese and Stefan Neumann},
  title     = {Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations},
  isbn      = {978-3-940793-91-1},
  year      = {2009},
}