Formalization of Temporal and Spatial Constraints of Bimanual Manipulation Categories | IEEE Conference Publication | IEEE Xplore