Application of IEC61131-3 standard in the Brazilian Navy mine-sweeper modernization | IEEE Journals & Magazine | IEEE Xplore