@TechReport{BolligLeuckerNoll02,
  author =	 "Benedikt Bollig and Martin Leucker and Thomas Noll",
  title =	 "Generalised Regular {MSC} {L}anguages",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-03-2002",
  month =	 jan,
  url =          "ftp://ftp.informatik.rwth-aachen.de/pub/reports/2002/2002-03.ps.gz",
}