Fig. 9From: A CPN/B method transformation framework for railway safety rules formal validationSchematic representation of the study caseBack to article page