“Interval Specification for Actually Concurrent Logic”. International Journal of Engineering and Science Research, vol. 12, no. 2, Apr. 2022, pp. 1-11, https://ijesr.org/index.php/ijesr/article/view/1090.