Kyeonghoon Koo, Wook Hyun Kwon: Worst-case timing prediction of relay ladder logic by constraint analysis. RTCSA 1996: 180-186