Model-based automated testing of critical PLC programs | IEEE Conference Publication | IEEE Xplore