El-Fakih, Khaled, Nina Yevtushenko, Marius Bozga, and Saddek Bensalem. 2016. “Distinguishing Extended Finite State Machine Configurations Using Predicate Abstraction”. Journal of Software Engineering Research and Development 4 (February):1:1 - 1:26. https://sol.sbc.org.br/journals/index.php/jserd/article/view/429.