“Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker” (2023) NUML International Journal of Engineering and Computing, 2(1), pp. 27–42. doi:10.52015/nijec.v2i1.32.