Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. - Briag Le Nabec; Belgacem Ben Hedia; Jean-Philippe Babau; Mathieu Jan; Hela Guesmi (FDL, 2016)

QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. - Briag Le Nabec; Belgacem Ben Hedia; Jean-Philippe Babau (ISORC, 2018)

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. - Hela Guesmi; Belgacem Ben Hedia; Simon Bliudze; Saddek Bensalem; Briag Le Nabec (Innov. Syst. Softw. Eng., 2018)