@techreport{2006-Hendriks-TimedAutomata,
  author		= "{Hendriks}, Martijn and {Verhoef}, Marcel",
  title			= "{Timed Automata Based Analysis of Embedded System Architecture}",
  number		= "ICIS--R06003",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2006",
  code			= "icis.ICIS-R06003",
  research_group	= "icis",
  class			= "Report"
}