Enviar por SMS: On stronger forms of first-order necessary conditions of optimality for state-constrained control problems