PLCTOOLS: design, formal validation, and code generation for programmable controllers | IEEE Conference Publication | IEEE Xplore