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