@techreport{2001-Hune-AutomataParametric, author = "{Hune}, T.S. and {Romijn}, J.M.T. and {Stoelinga}, M.I.A. and {Vaandrager}, F.W.", title = "{Linear Parametric Model Checking of Timed Automata}", number = "CSI--R0102", month = "January", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2001", code = "icis.CSI-R0102", research_group = "ita", class = "Report" }