Sayan Saha, A. Agung Julius: An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. ACC 2016: 1105-1110