Reducing the WCET and analysis time of systems with simple lockable instruction caches | Publicación