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