An Approach for Extracting RT Timing Information to Annotate Algorithmic VHDL Specifications. - Cordula Hansen; Francisco Nascimento; Wolfgang Rosenstiel (DAC, 1999)