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://sol.sbc.org.br/journals/index.php/jserd/article/view/429