Naujokaitis, Darius, Henrikas Pranevicius, Vytautas Pilkauskas, Osvaldas Pranevicius, and Mindaugas Pranevicius. “Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia”. Elektronika ir Elektrotechnika 23, no. 6 (February 10, 2017): 10-18. Accessed April 26, 2024. https://eejournal.ktu.lt/index.php/elt/article/view/17572.