Modeling Reactive Systems with Statecharts – The STATEMATE Approach”; McGraw-Hill; 1998; ISBN 0-07-026205-5 device "PIC-16C84"; declare { events { event "OpenGateE" type positive edge connected to "RA0"; event "OpenGateI" type positive edge connected to " (0)

by David Harel, Michal Politi