Fig. 4From: A CPN/B method transformation framework for railway safety rules formal validationPlaces B translationBack to article page