Konstantinos Kapellos, Daniel Simon, M. Jourdant, Bernard Espiau. Task level specification and formal verification of robotics control systems: state of the art and case study. Int. J. Systems Science, 30(11):1227-1245, 1999. [doi]
Abstract is missing.