@techreport{2003-Fehnker-ModelingHybrid,
  author		= "{Fehnker}, A. and {Vaandrager}, F.W. and {Zhang}, M.",
  title			= "{Modeling and Verifying a Lego Car Using Hybrid I/O Automata}",
  number		= "NIII--R0308",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0308",
  research_group	= "ita",
  class			= "Report"
}