Reliable software development methodology for safety related applications: From simulation to reliable source code | IEEE Conference Publication | IEEE Xplore