Formalization of Robot Skills with Descriptive and Operational Models | IEEE Conference Publication | IEEE Xplore