Specification, testing and implementation relations for symbolic-probabilistic systems | Publicación