Logically timed Chu process semantics for statecharts. - Rait Harnett (1997)