The integration of a formal safety analysis into the future software engineering process: An example from the pacemaker industry | IEEE Conference Publication | IEEE Xplore