Hardware architecture specification and constraint-based WCET computation. - Hajer Herbegue; Hugues Cassé; Mamoun Filali; Christine Rochange (SIES, 2013)

Formal Architecture Specification for Time Analysis. - Hajer Herbegue; Mamoun Filali; Hugues Cassé (ARCS, 2014)