Further steps towards efficient runtime verification: handling probabilistic cost models
PRISM : Probabilistic Symbolic Model Checker ?