A source-to-source compiler for generating dependable software | IEEE Conference Publication | IEEE Xplore