D. Naujokaitis, H. Pranevicius, V. Pilkauskas, O. Pranevicius, and M. Pranevicius, “Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia”, ELEKTRON ELEKTROTECH, vol. 23, no. 6, pp. 10–18, Feb. 2017, doi: 10.5755/j01.eie.23.6.17572.