Constraint-based task programming with CAD semantics: From intuitive specification to real-time control | IEEE Conference Publication | IEEE Xplore