Text this: Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems