El-Fakih, K.; Yevtushenko, N.; Bozga, M.; Bensalem, S. Distinguishing Extended Finite State Machine Configurations Using Predicate Abstraction. JSERD 2016, 4, 1:1 - 1:26.