Adrianna Foremniak Peter H. Starke Structural Analysis of Signal-Event Systems. 81-104 2000 43 Fundam. Inform. 1-4 db/journals/fuin/fuin43.html#ForemniakS00