“Interval Specification for Actually Concurrent Logic”, IJESR, vol. 12, no. 2, pp. 1–11, Apr. 2022, Accessed: Feb. 14, 2026. [Online]. Available: https://www.ijesr.org/index.php/ijesr/article/view/1090