@article {, title = { Towards probabilistic model checking on P systems using PRISM}, journal = {Lecture Notes in Computer Science}, volume = {4361}, year = {2006}, pages = { 477-495}, address = {Berl{\'\i}n}, author = {Francisco J. Romero-Campero and Marian Gheorghe and Luca Bianco and Dario Pescini and Mario J. P{\'e}rez-Jim{\'e}nez and Rodica Ceterchi} }