Describir: New Algorithm Based on Sign Decomposition to Verify the Robust Stability Property for a Class of Linear Time-Delay Systems