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