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 [Internet]. 2017Feb.10 [cited 2024Apr.25];23(6):10-8. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/17572