P. A. S. Giacomin, “Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study”, JIS, vol. 17, no. 1, pp. 418–430, May 2026.