Title: Specification and verification methods for probabilistic processes
Subjects: Probabilistic automata, Sequential machine theory