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