Implementing state machines in distributed event-based systems | IEEE Conference Publication | IEEE Xplore