2017. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. Elektronika ir Elektrotechnika. 23, 6 (Feb. 2017), 10–18. DOI:https://doi.org/10.5755/j01.eie.23.6.17572.