Giacomin, P. A. S. (2026). Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study. Journal on Interactive Systems, 17(1), 418–430. https://doi.org/10.5753/jis.2026.6644