Correcton to "SOFL": A formal engineering methodology for industrial applicatoins | IEEE Journals & Magazine | IEEE Xplore