“Interval Specification for Actually Concurrent Logic” (2022) International Journal of Engineering and Science Research, 12(2), pp. 1–11. Available at: https://www.ijesr.org/index.php/ijesr/article/view/1090 (Accessed: 24 December 2025).