Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. In 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece. pages 91-97, IEEE Computer Society, 2006. [doi]