Αποστολή με SMS: Optimal control for safety-critical systems