@article{guesmi:hal-01823749, TITLE = {{TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm}}, AUTHOR = {Guesmi, Hela and Ben Hedia, Belgacem and Bliudze, Simon and Bensalem, Saddek and Lenabec, Briag}, URL = {https://inria.hal.science/hal-01823749}, JOURNAL = {{Innovations in Systems and Software Engineering}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {14}, NUMBER = {2}, PAGES = {117 - 142}, YEAR = {2018}, MONTH = Jun, DOI = {10.1007/s11334-018-0312-y}, KEYWORDS = {Correct-by-construction transformation ; Model-to-model transformation ; Time-triggered paradigm ; Component-based design ; Formal methods}, PDF = {https://inria.hal.science/hal-01823749/file/main.pdf}, HAL_ID = {hal-01823749}, HAL_VERSION = {v1}, }