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 (Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, 2006)

Metrics for Timed Systems Testing - Sébastien Salva; Hacène Fouchal; S. Bloch (Procedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000, 2000)