 We adapt our previous HSR model and propose its stochastic extension, which we then analyze using the approximate probabilistic model checking (APMC) technique.
<fluency>  We adapt our previous HSR model and propose its stochastic extension, which we then analyze using the approximate probabilistic model checking (APMC) technique.
 We adapt our previous HSR model and propose its stochastic extension, which we then analyse using the approximate probabilistic model checking (APMC) technique.