TAS: an accurate timing analyser for CMOS VLSI. - Amjad Hajjar; Alain Greiner; Roland Marbot; Payam Kiani (EURO-DAC, 1991)