G. Árpád Németh, “Teaching model-based testing”, Teach. Math. Comp. Sci., vol. 18, no. 1, pp. 1–17, Oct. 2020, doi: 10.5485/TMCS.2020.0469.