Specifying and Verifying PLC Systems with TLA+ | IEEE Conference Publication | IEEE Xplore