Diana Marculescu Radu Marculescu Massoud Pedram Sequence Compaction for Probabilistic Analysis of Finite-State Machines. 12-15 1997 DAC http://doi.acm.org/10.1145/266021.266027 db/conf/dac/dac97.html#MarculescuMP97