Naujokaitis, Darius, Henrikas Pranevicius, Vytautas Pilkauskas, Osvaldas Pranevicius, and Mindaugas Pranevicius. 2017. “Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia”. Elektronika Ir Elektrotechnika 23 (6):10-18. https://doi.org/10.5755/j01.eie.23.6.17572.