Specifying Event-Based Systems with a Counting Fluent Temporal Logic | IEEE Conference Publication | IEEE Xplore