Claire, M., Pascal, R., Catherine, P.-V., Armelle, B., Fabienne, C., Cassé, H., Cuenot, P., Claraz, D., Halbwachs, N., Jahier, E., Li, H., De Michiel, M., Mussot, V., Puaut, I., Rochange, C., Rohou, E., Ruiz, J., Sotin, P., Sun, W.-T., Herbstritt, M., 2017. The W-SEPT Project: Towards Semantic-Aware WCET Estimation.. https://doi.org/10.4230/oasics.wcet.2017.9