@misc{MohammedStolzenburg2009,
  author    = {Ammar Mohammed and Frieder Stolzenburg},
  title     = {Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata},
  institution = {Fachbereich 4},
  series    = {Arbeitsberichte, FB Informatik},
  number    = {2009,6},
  type      = {periodicalpart},
  pages     = {21},
  year        = {2009},
}