Peng, J., . T. Wen, Y. Yang, and G. Huang. “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, doi:10.4108/airo.v1i.16.