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