@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" }