Sayan Saha, A. Agung Julius: Trajectory-based formal controller synthesis for multi-link robots with elastic joints. CDC 2014: 830-835