Zhiru Hou, Jiaqi Yin, Huibiao Zhu: Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159