G. Á. Németh and M. I. Lugosi, “MTR framework for teaching model-based testing”, Teach. Math. Comp. Sci., vol. 24, no. 1, pp. 127–144, Jun. 2026, doi: 10.5485/TMCS.2026.16815.