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