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