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