Fig. 2From: A CPN/B method transformation framework for railway safety rules formal validationGeneric B abstract machineBack to article page