WCET analysis methods: Pitfalls and challenges on their trustworthiness | IEEE Conference Publication | IEEE Xplore