Efficient computation of a guaranteed stability domain for a high-order parameter dependent plant | IEEE Conference Publication | IEEE Xplore