Towards Goal-Based Software Safety Certification Based on Prescriptive Standards | IEEE Conference Publication | IEEE Xplore