Challenges in the analysis of VHDL. - David B. Bernstein; Rodney Farrow; David Charness (EURO-DAC, 1992)