WCET analysis methods: Pitfalls and challenges on their trustworthiness | Publicación