System safety through automatic high-level code transformations: an experimental evaluation | IEEE Conference Publication | IEEE Xplore