Ran Li, Jiaqi Yin, Huibiao Zhu: Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom 2020: 79-86