Design Principles for Digital Autopilot Synthesis