“Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia”. Elektronika Ir Elektrotechnika, vol. 23, no. 6, Feb. 2017, pp. 10-18, https://doi.org/10.5755/j01.eie.23.6.17572.