Methodology for Railway Automation Study and Automatic Generation of PLC Programs | IEEE Journals & Magazine | IEEE Xplore