Before revision:  We adapt our previous HSR model and propose its stochastic extension , which we then analyse using the approximate probabilistic model checking (APMC) technique .
After revision:  To address these questions, we adapt our previous HSR model and propose its stochastic extension , which we then analyse using the approximate probabilistic model checking (APMC) technique .