A basis of safety design for cooperative human-machine system | IEEE Conference Publication | IEEE Xplore