@TECHREPORT{FelscherThomas-AIB-2011-12,
  author =	 "Ingo Felscher and Wolfgang Thomas",
  title =	 "On {C}ompositional {F}ailure {D}etection in {S}tructured {T}ransition {S}ystems",
  institution =	 "RWTH Aachen University",
  keywords = "model-checking, finitely synchronized products, compositional failure detection",
  year =	 "2011",
  number =	 "AIB-2011-12",
  month =	 aug,
  url =      "http://aib.informatik.rwth-aachen.de/2011/2011-12.ps.gz",
}