Romero-Campero, F. J., Gheorghe M., Bianco L., Pescini D., Pérez-Jiménez M. J., & Ceterchi R.  (2006).?? Towards probabilistic model checking on P systems using PRISM.  Lecture Notes in Computer Science. 4361,  477-495.