2117 Validating the Specification of Automatic Train Protection and Block System