High-level modeling using extended timing diagrams - A formalism for the behavioral specification of digital hardware. - Philippe Moeschler; Hans Peter Amann; Fausto Pellandini (EURO-DAC, 1993)

High-Level Specification of Behavioural Hardware Models with MODES. - Hans Peter Amann; Philippe Moeschler; Fausto Pellandini; Alain Vachoux; Charles Munk; Daniel Mlynek (ISCAS, 1994)