Automatic test case generation for programmable logic controller using function block diagram | IEEE Conference Publication | IEEE Xplore