Task level specification and formal verification of robotics control systems: state of the art and case study. - Konstantinos Kapellos; Daniel Simon; M. Jourdant; Bernard Espiau (Int. J. Syst. Sci., 1999)