A Generalized State Assignment Theory for Transformations on Signal Transition Graphs. * Peter Vanbekbergenl Bill Linl Gert Goossensl Hugo De Man'T2