A New Verification Technique for Large Processes Based on Identification of Relevant Tasks