@book{GieseBecker2013,
  author    = {Holger Giese and Basil Becker},
  title     = {Modeling and verifying dynamic evolving service-oriented architectures},
  isbn      = {978-3-86956-246-9},
  year      = {2013},
}