@techreport{2001-Hendriks-ModelAcceleration,
  author		= "{Hendriks}, M. and {Larsen}, K.G.",
  title			= "{Exact Acceleration of Real--Time Model Checking}",
  number		= "CSI--R0122",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0122",
  research_group	= "icis",
  class			= "Report"
}