Formal Methods for Industrial Critical Systems: A Survey of Applications - Gnesi (IEEE)
Keywords: Robotics and Control Systems