@article{EYB+6,
title = { Distinguishing extended finite state machine configurations using predicate abstraction },
author = {El-Fakih, Khaled and Yevtushenko, Nina and Bozga, Marius and Bensalem, Saddek},
year = {2016},
journal = {J. Software Eng. R\&D},
pages = {1},
volume = {4},
team = {DCS, RSD},
}
