Testability analysis of hierarchical finite state machines. - Françoise Martinolle; Jean Claude Geffroy; Bernard Soulas (EURO-DAC, 1991)

Interoperability of Verilog/VHDL Procedural Language Interfaces to Build a Mixed Language GUI. - Françoise Martinolle; Charles Dawson 002; Debra Corlette; Mike Floyd (DATE, 1999)