Implementation Relations for Stochastic Finite State Machines | Publicación