Computer-aided design and implementation of interlock control code | IEEE Conference Publication | IEEE Xplore