WCET analysis of reusable portable code | IEEE Conference Publication | IEEE Xplore