Fig. 14From: A CPN/B method transformation framework for railway safety rules formal validationProB state space view at initializationBack to article page