“Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification”. 2025. Contemporary Mathematics 6 (5): 6553-69. https://doi.org/10.37256/cm.6520256223.