Mohammed Faci, Luigi Logrippo: Specifying Hardware Systems in LOTOS. CHDL 1993: 319-326