Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama: Rabbit: A Language to Model and Verify Data Flow in Networked Systems. ISNCC 2024: 1-8