Ladder programs validation through model-code traceability
2011 IEEE International Conference on Industrial Technology
Leandro Dias da Silva
Angelo Perkusich