@book{NeumannGiese2013,
  author    = {Stefan Neumann and Holger Giese},
  title     = {Scalable compatibility for embedded real-time components via language progressive timed automata},
  isbn      = {978-3-86956-226-1},
  year      = {2013},
}