Towards Probabilistic Model Checking on P Systems Using PRISM | Publicación