Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs. - Marco A. Escalante; Nikitas J. Dimopoulos; Dilyan Gyuroff; Hausi A. Müller (PNPM, 1995)