Distinguishing extended finite state machine configurations using predicate abstraction - Fakih,Khaled El-