생산자동화시스템 PLC 제어프로그램의 안전성 정형검증에 관한 연구
박창목
대한안전경영과학회지 제17권 제1호 (2015.03) pp.179-192
PLC기반 차체조립라인의 안전감시를 위한 진단프로그램 생성에 관한 연구
대한안전경영과학회지 제12권 제2호 (2010.06) pp.65-73