Donghwan, Shin in SELab has presented SOS simulation with PRISM in RED&B workshop on Aug 12, 2015.
Its contents was below.
1. MCI scenario specification
2. Scenario modeling
4. Model checking and results
This video shows the modeling simulation in PRISM.
Also, you can download the presentation file.