Symbolic methods in control system analysis and design (Inst. of Electrical Engineers, 1999)