Verification and validation of high integrity software generated by automatic code generators | IEEE Conference Publication | IEEE Xplore