Németh, G. Árpád. Teaching Model-Based Testing. Teach. Math. Comp. Sci. 2020, 18 (1), 1-17. https://doi.org/10.5485/TMCS.2020.0469.