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)

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. - Hela Guesmi; Belgacem Ben Hedia; Mathieu Jan; Simon Bliudze; Saddek Bensalem (RTAS, 2016)

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 (VECoS, 2017)

From timed component-based systems to time-triggered implementations : a correct-by-design approach. (Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception). - Hela Guesmi (2017)