Structural Analysis of Signal-Event Systems. - Adrianna Foremniak; Peter H. Starke (Fundam. Informaticae, 2000)