Fadia Nemer Hugues Cassé Pascal Sainrat Jean Paul Bahsoun Inter-task WCET computation for a-way instruction caches. 169-176 2008 SIES http://dx.doi.org/10.1109/SIES.2008.4577696 conf/sies/2008 db/conf/sies/sies2008.html#NemerCSB08