The T-CREST approach of compiler and WCET-analysis integration | IEEE Conference Publication | IEEE Xplore