Eric Verlind Gjalt G. de Jong Bill Lin Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. 55-58 1996 DAC http://doi.acm.org/10.1145/240518.240529 db/conf/dac/dac96.html#VerlindJL96