From statecharts to ESP: programming with events, states and predicates for embedded systems