Design of safety critical systems by refinement | IEEE Conference Publication | IEEE Xplore