Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. Theoretical Computer Science, 152(2):171-217, 1995. [doi]
Abstract is missing.