Illustration of the SFG-Tracing Multi-Level Behavioral Verification Methodology, by the Correctness Proof of a High to Low Level Synthesis Application in CATHEDRAL-II. - Mark Genoe; Luc J. M. Claesen; Eric Verlind; Frank Proesmans; Hugo De Man (ICCD, 1991)

A Time Abstraction Method for Efficient Verification of Communicating Systems. - Eric Verlind; Tilman Kolks; Gjalt G. de Jong; Bill Lin 001; Hugo De Man (DAC, 1994)

Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. - Eric Verlind; Gjalt G. de Jong; Bill Lin 001 (DAC, 1996)