Boyd, S., & Balemi, S. (). Branch and bound algorithm for computing the minimum stability degree of parameter-dependent linear systems. Int. J. of Robust and Nonlinear Control, 1 (4), 295–317.