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