Metrics for Timed Systems Testing. - Sébastien Salva; Hacène Fouchal; S. Bloch (OPODIS, 2000)

Building a standard ESL design and verification methodology: is it just a dream? - Anoosh Hosseini; Ashish Parikh; H. T. Chin; Pascal Urard; Emil F. Girczyc; S. Bloch (DAC, 2006)