"A New Approach To Checking Sequence Generation for Finite State Machines."

Burak Serdar, Kuo-Chung Tai (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics