@techreport{2006-Willems-CompactAutomata,
  author		= "{Willems}, H.X.",
  title			= "{Compact Timed Automata for PLC Programs}",
  number		= "CSI--R9925",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9925",
  research_group	= "icis",
  class			= "Report"
}