El-Fakih, K., Yevtushenko, N., Bozga, M. and Bensalem, S. 2016. Distinguishing extended finite state machine configurations using predicate abstraction. Journal of Software Engineering Research and Development. 4, (Feb. 2016), 1:1 – 1:26.