@MastersThesis{WeiglThesis2015,
  author =       {Alexander Weigl},
  title =        {Regression Verification for Programmable Logic
                  Controller Software},
  school =       {Karlsruhe Institute of Technology},
  year =         {2015},
  month =        {January},
}