Yuchen Zhou, Dipankar Maity, John S. Baras: Timed automata approach for motion planning using metric interval temporal logic. ECC 2016: 690-695