@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}
}
