Characterizing the region of attraction of a power system transient stability model