El-Fakih, K., N. Yevtushenko, M. Bozga, and S. Bensalem. “Distinguishing Extended Finite State Machine Configurations Using Predicate Abstraction”. Journal of Software Engineering Research and Development, vol. 4, Feb. 2016, pp. 1:1 - 1:26, https://sol.sbc.org.br/journals/index.php/jserd/article/view/429.