"Inferring Extended Finite State Machine models from software executions."

Neil Walkinshaw, Ramsay Taylor, John Derrick (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics