Fig. 4From: Formal analysis of imprecise system requirements with Event-BContainer Crane Control systemBack to article page