Worst-case timing prediction of relay ladder logic by constraint analysis | IEEE Conference Publication | IEEE Xplore