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