Naujokaitis D, Pranevicius H, Pilkauskas V, Pranevicius O, Pranevicius M. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. ELEKTRON ELEKTROTECH. 2017;23(6):10-18. doi:10.5755/j01.eie.23.6.17572