Specifying timing constraints and composite events: an application in the design of electronic brokerages | IEEE Journals & Magazine | IEEE Xplore