id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
36	Add simulation engine for PCTL.	ivan.zapreev	ivan.zapreev	In principle all algorithms developed for model-checking CSL properties apply for PCTL. We need to extend MRMC to be able to model check PCTL with the use of discrete event simulation.	enhancement	new	major	MRMC future	Simulation Engine	1.3			nguyen christinajansen