Diana Marculescu Radu Marculescu Massoud Pedram Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation. 774-779 1998 conf/date/1998 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655946 db/conf/date/date1998.html#MarculescuMP98