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