“Interval Specification for Actually Concurrent Logic”. International Journal of Engineering and Science Research 12, no. 2 (April 28, 2022): 1–11. Accessed October 15, 2025. https://ijesr.org/index.php/ijesr/article/view/1090.