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