In addition, with the increasing use of third-party components for which source-code access ... x86 instruction set on several examples from embedded control systems software. Preliminary results ...