The exact solution of timing verification. - Edgar Bolender; Hans Martin Lipp (EURO-DAC, 1992)