10. Referencias

[1] T. Bernard, F. Grondin y J.-M. Lavoie, "Sugar Shack 4.0: Practical Demonstration of an IIoT-Based Event-Driven Automation System," arXiv preprint arXiv:2510.15708, oct. 2025. [En línea]. Disponible: https://arxiv.org/abs/2510.15708

[2] C. Kim, "Security Issues on the OpenPLC project and corresponding solutions," arXiv preprint arXiv:2509.22664, sep. 2025. [En línea]. Disponible: https://arxiv.org/abs/2509.22664

[3] P. Dantas, L. Cordeiro y W. Junior, "ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking," arXiv preprint arXiv:2606.15461, jun. 2026. [En línea]. Disponible: https://arxiv.org/abs/2606.15461

[4] T. R. Alves, M. Buratto, F. M. de Souza y T. V. Rodrigues, "OpenPLC: An open source alternative to automation," en Proc. IEEE Global Humanitarian Technology Conf. (GHTC), 2014, pp. 585–589.

[5] Programmable controllers – Part 3: Programming languages, IEC 61131-3:2013, International Electrotechnical Commission, 2013.

[6] Espressif Systems, "ESP32 Series Datasheet." [En línea]. Disponible: https://www.espressif.com/en/support/documents/technical-documents (consultado: oct. 2026).

[7] OpenPLC Project, "OpenPLC — Open source PLC software." [En línea]. Disponible: https://openplcproject.com (consultado: oct. 2026).

[8] CODESYS Group, "CODESYS Online Help." [En línea]. Disponible: https://help.codesys.com (consultado: oct. 2026).

[9] 32x8.com, "Digital logic design tool: truth table to Boolean expression." [En línea]. Disponible: http://32x8.com (consultado: oct. 2026).