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.