Timed-FSA를 이용한 PLC 코드의 이산사건모델링에 대한 연구