A Tool for Calculating Exponential Run-Time Properties | IEEE Conference Publication | IEEE Xplore