"Extended state identification and verification using a model checker."

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