Peng J, Wen T, Yang Y, Huang G. An Event-B Approach to the Development of Fork/Join Parallel Programs. EAI Endorsed Trans AI Robotics [Internet]. 2022 Feb. 18 [cited 2024 Apr. 19];1:e6. Available from: https://publications.eai.eu/index.php/airo/article/view/16