D. Daukševič, „Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą“, open-series, p. 15–25, geg. 2023, doi: 10.15388/LMITT.2023.2.