Model-Based Design of a Collaborative Human-Robot Workspace | IEEE Conference Publication | IEEE Xplore