Hanbing Li: Extraction and traceability of annotations for WCET estimation. (Extraction et traçabilité d'annotations pour l'estimation de WCET). University of Rennes 1, France 2015