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