Text this: Symbolic methods in control system analysis and design