El-Fakih K, Yevtushenko N, Bozga M, Bensalem S. Distinguishing extended finite state machine configurations using predicate abstraction. JSERD [Internet]. 2016Feb.29 [cited 2024Sep.16];4:1:1 - 1:26. Available from: https://journals-sol.sbc.org.br/index.php/jserd/article/view/429