Fig. 1From: Formal analysis of imprecise system requirements with Event-BRodin tool architectureBack to article page