A Formal Control Architecture for Collaborative Robotics Applications | IEEE Conference Publication | IEEE Xplore