Daukševič, Daniel. “Adaptyvių Kompiuterinių Sistemų Formalus Modeliavimas Ir Verifikavimas Taikant Statistinį Modelių Patikrinimo Metodą”. Vilnius University Open Series, May 2023, pp. 15-25, https://doi.org/10.15388/LMITT.2023.2.