Non-linear vehicle domain of attraction analysis using Sum-of-Squares programming | IEEE Conference Publication | IEEE Xplore