@TechReport{Gerlitz17,
  author      = "Thomas Gerlitz",
  title       = "Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts",
  institution = "RWTH Aachen",
  keywords    = "model-based development, model repository, MATLAB/Simulink, static analysis, slicing, model smells, consistency checking, conformity analysis",
  year        = "2017",
  number      = "AIB-2017-08",
  month       = oct,
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-08.ps.gz",
}