Relay ladder logic을 이용한 시퀀스 제어에 대한 효율적인 design recovery 알고리즘에 관한 연구 = A study on efficient design recovery algorithm for sequence control with relay ladder logic