K. El-Fakih, N. Yevtushenko, M. Bozga, and S. Bensalem, “Distinguishing extended finite state machine configurations using predicate abstraction”, JSERD, vol. 4, pp. 1:1 – 1:26, Feb. 2016.