[MRMC] help with model checking CTMDP

Hi, I am getting familiar with the MRMC tool and I would appreciate if somebody can provide a simple example on how to use the tool to get an optimal policy for a CTMDP given a specification in CSL. Any help will be very appreciated. Thanks a lot, Ana