“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.