"Effective test suites for mixed discrete-continuous stateflow controllers."

Reza Matinnejad et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics