@TechReport{	  krauer.ea:probabilistic:2007,
  author	= {Tina Krau\ss{}er and Heiko Mantel and Henning Sudbrock},
  institution	= {RWTH Aachen},
  month		= {May},
  number	= {2007-09},
  title		= {A Probabilistic Justification of the Combining Calculus
		  under the Uniform Scheduler Assumption},
  year		= 2007
}