Giacomin, P. A. S. “Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study”. Journal on Interactive Systems, vol. 17, no. 1, May 2026, pp. 418-30, doi:10.5753/jis.2026.6644.