1. Stochastic Differential Equations: Theory and Application.;Arnold,1974
2. Approximate symbolic model checking of continous-time markov chains.;Baier,1999
3. Reachability questions in piecewise deterministic markov processes.;Bujorianu;Submitted to HSCC,2003
4. Markov Processes and Optimization.;Davis,1993
5. Markov Processes: Characterisation and Conver-gence.;Ethier,1986