Fig. 18From: A CPN/B method transformation framework for railway safety rules formal validationRBC/RBC HandoverBack to article page