Sequential composition of robust controller specifications - Le Ny, Jérôme; Pappas, George J. (2012 IEEE International Conference on Robotics and Automation (ICRA), 2012)