-dtmc -importmodel dice2.tra,lab,srew -exportmodel dice2.sta,tra,lab,srew
-dtmc -importmodel dice2.tra,lab,srew -exportmodel dice2.sta,tra,lab,srew -ex
-importmodel dice2.tra,lab,srew -exportmodel dice2.sta,tra,lab,srew -ex