"Reverse Engineering State Machines by Interactive Grammar Inference."

Neil Walkinshaw et al. (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics