An interactive environment for hardware/software system design at the specification level. - Stefano Antoniazzi; Mirella Mastretti (Microprocessing and Microprogramming, 1990)

An architectural design support environment for high-performance digital systems. - Stefano Antoniazzi; Mirella Mastretti (Microprocessing and Microprogramming, 1991)

VHDL quality: synthesizability, complexity and efficiency evaluation. - Mirella Mastretti (EURO-DAC, 1995)

Technology as the Catalyst of Users' Acceptance in Electronic Commerce. - Mirna Boscolo; Mirella Mastretti; Ettore Paolillo (Flexible Working - New Network Technologies, 1999)