{An Abductive Approach for Analysing Event-Based Requirements Specifications}