Naujokaitis, D., Pranevicius, H., Pilkauskas, V., Pranevicius, O. and Pranevicius, M. (2017) “Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia”, Elektronika ir Elektrotechnika, 23(6), pp. 10-18. doi: 10.5755/j01.eie.23.6.17572.