Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. Elektronika ir Elektrotechnika, [S. l.], v. 23, n. 6, p. 10–18, 2017. DOI: 10.5755/j01.eie.23.6.17572. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/17572.. Acesso em: 6 dec. 2025.