"Generating optimal distinguishing sequences with a model checker."

Christopher Robinson-Mallett et al. (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics