Safety support system based on embedded-nested batch recipe structure | IEEE Conference Publication | IEEE Xplore