Criticality evaluation of embedded software running on a pipelined microprocessor and impact of compilation options | IEEE Conference Publication | IEEE Xplore