Worst-case timing prediction of relay ladder logic by constraint analysis.

Kyeonghoon Koo, Wook Hyun Kwon

Browse the full RTCSA paper archive.