A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards