A. Swar, M. Belal, and S. A. Ehssan Aly, “Split-Plane Decentralized Middleware For Secure Multi-Protocol Iot Communication: Architecture, Formal Verification, And Experimental Validation”, IJAIML, vol. 6, no. 4s, pp. 964–986, Jun. 2026.