Naujokaitis, D., Pranevicius, H., Pilkauskas, V., Pranevicius, O., & Pranevicius, M. (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