A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards | IEEE Conference Publication | IEEE Xplore