WCET con cache de instrucciones bloqueable y Lock-MS | Publicación