%0 Journal Article %F benveniste95b %A Benveniste, A. %A Levy, B.C. %A Fabre, E. %A Le Guernic, P. %T A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems %J Theoretical Computer Science %V 2 %N 152 %P 171-217 %U ftp://ftp.irisa.fr/local/signal/publis/articles/TCS-95:alea.ps.gz %8 December %D 1995