NAUJOKAITIS, D. et al. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia. Elektronika ir Elektrotechnika, v. 23, n. 6, p. 10–18, 10 Feb.2017.