A tool for calculating exponential run-time properties - Anderson, H. (2013)
10.1109/SYNASC.2007.15