El-Fakih, K., Yevtushenko, N., Bozga, M. and Bensalem, S. (2016) “Distinguishing extended finite state machine configurations using predicate abstraction”, Journal of Software Engineering Research and Development, 4, pp. 1:1 – 1:26. Available at: https://journals-sol.sbc.org.br/index.php/jserd/article/view/429 (Accessed: 16September2024).