@TechReport{KrausserMantelSudbrock07,
  author =	 "Tina Krau{\ss}er} and Heiko Mantel and Henning Sudbrock",
  title  =	 "{A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption}",
  institution =	 "RWTH Aachen",
  year   =	 "2007",
  number =	 "AIB-2007-09",
  month  =	 may
}