Interval Specification for Actually Concurrent Logic. (2022). International Journal of Engineering and Science Research, 12(2), 1-11. https://ijesr.org/index.php/ijesr/article/view/1090