Chi-Ying Tsui Massoud Pedram Alvin M. Despain Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs. 18-23 1994 DAC http://doi.acm.org/10.1145/196244.196255 db/conf/dac/dac94.html#TsuiPD94