WCET-Aware Stack Frame Management of Embedded Systems Using Scratchpad Memories | IEEE Conference Publication | IEEE Xplore