Fig. 11From: A CPN/B method transformation framework for railway safety rules formal validationExtract of the first part of the obtained B machineBack to article page