Peng, Jie, et al. “An Event-B Approach to the Development of Fork Join Parallel Programs”. EAI Endorsed Transactions on AI and Robotics, vol. 1, Feb. 2022, p. e6, https://doi.org/10.4108/airo.v1i.16.