Model-based automatic generation of sequence-control programs from design information | IEEE Journals & Magazine | IEEE Xplore