Event Automata as a Generic Model of Reactive Systems