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