A modular and retargetable framework for tree-based WCET analysis | IEEE Conference Publication | IEEE Xplore