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