Text this: Mixed-Integer Representations in Control Design