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