"Verification of timing Properties of VHDL."

Costas Courcoubetis, Werner Damm, Bernhard Josko (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics