"A controller testability analysis and enhancement technique."

Xinli Gu et al. (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics