Return to Article Details PLC Program Translation for Verification Purposes Download Download PDF