Formal semantics of composite events for distributed environments | IEEE Conference Publication | IEEE Xplore