Αποστολή με SMS: Mixed-Integer Representations in Control Design