Querying event logs: Discovering non-events in event logs | IEEE Conference Publication | IEEE Xplore