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