Temporal verification of behavioral descriptions in VHDL. - Djamel Boussebha; Norbert Giambiasi; Janine Magnier (EURO-DAC, 1992)