Arthur Allen Dennis de Champeaux Extending the Statechart Formalism: Event Scheduling & Disposition. 1-16 1995 OOPSLA db/conf/oopsla/oopsla95.html#AllenC95