Javier Esparza Petr Jancar Alexander Miller On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. 227-253 2008 86 Fundam. Inform. 3 http://iospress.metapress.com/content/444l631786x2w67x/ db/journals/fuin/fuin86.html#EsparzaJM08