Classification of WCET analysis techniques | IEEE Conference Publication | IEEE Xplore