Formal Method for Finding Asymptotic Approximations | IEEE Conference Publication | IEEE Xplore