A Model-Driven Safety Certification Method for Process Compliance | IEEE Conference Publication | IEEE Xplore