Daukševič, Daniel. „Adaptyvių Kompiuterinių Sistemų Formalus Modeliavimas Ir Verifikavimas Taikant Statistinį Modelių Patikrinimo Metodą“. Vilnius University Open Series (gegužės 11, 2023): 15–25. žiūrėta spalio 26, 2025. https://test.zurnalai.vu.lt/open-series/article/view/32215.