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