Aduni Sulaiman, Rabatul, et al. “Coverage-Based Approach for Model-Based Testing in Software Product Line”. International Journal of Engineering & Technology, vol. 7, no. 4.15, Oct. 2018, pp. 63-68, https://doi.org/10.14419/ijet.v7i4.15.21373.