Binazir Ganji, Ali Rezaee, Sahar Adabi, Ali Movaghar: Model verification of real-time and distributed stream processing architecture. Computing 107(1): 17 (2025)