Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto: MoCheQoS: A tool for static analysis of QoS in communicating systems. Sci. Comput. Program. 253: 103501 (2026)