“Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification”, Contemp. Math., vol. 6, no. 5, pp. 6553–6569, Sep. 2025, doi: 10.37256/cm.6520256223.