J. Peng, . T. Wen, Y. Yang, and G. Huang, “An Event-B Approach to the Development of Fork/Join Parallel Programs”, EAI Endorsed Trans AI Robotics, vol. 1, p. e6, Feb. 2022.