@article{GHB+8,
title = { {TT-BIP:} using correct-by-design {BIP} approach for modelling real-time system with time-triggered paradigm },
author = {Guesmi, Hela and Hedia, Belgacem Ben and Bliudze, Simon and Bensalem, Saddek and Nabec, Briag Le},
year = {2018},
journal = {{ISSE}},
number = {2},
pages = {117--142},
volume = {14},
team = {RSD},
}