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