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, 10-18.