Fig. 3From: Formal analysis of imprecise system requirements with Event-BA part of Event-B specification for eventuality property modelingBack to article page