Information-flow interfaces. - Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira da Costa, Ana (Formal Methods in System Design, 2025)