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