Parallel Computation of Domains of Attraction for Nonlinear Dynamic Systems | IEEE Conference Publication | IEEE Xplore