"Signal Transition Graph Transformations for Initializability."

Savita Banerjee et al. (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics