@book{BeckerGiese2012,
  author    = {Basil Becker and Holger Giese},
  title     = {Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants},
  isbn      = {978-3-86956-217-9},
  year      = {2012},
}