Interval Specification for Actually Concurrent Logic. IJESR. 2022;12(2):1-11. Accessed March 14, 2026. https://ijesr.org/index.php/ijesr/article/view/1090