Control Specifications: Ask for What You Need; Enforce What You Ask For