ITRIS AUTOMATION SQUARE Software for traduction and verification of industrial programmable logic controller programs.