@TechReport{Palczynski13,
  author      = "Jacob Palczynski",
  title       = "Time-Continuous Behaviour Comparison Based on Abstract Models",
  institution = "RWTH Aachen",
  keywords    = "embedded systems, formal methods",
  year        = "2013",
  number      = "AIB-2013-20",
  month       = dec,
  url         = "http://aib.informatik.rwth-aachen.de/2013/2013-20.pdf"
}