Hugh Anderson Siau-Cheng Khoo Yijie Liu A Tool for Calculating Exponential Run-Time Properties. 25-32 2007 SYNASC http://dx.doi.org/10.1109/SYNASC.2007.15 conf/synasc/2007 db/conf/synasc/synasc2007.html#AndersonKL07