@article{GPS+8,
title = { DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems },
author = {Giannopoulou, Georgia and Poplavko, Peter and Socci, Dario and Huang, Pengcheng and Stoimenov, Nikolay and Bourgos, Paraskevas and Thiele, Lothar and Bozga, Marius and Bensalem, Saddek and Girbal, Sylvain and Faug{\`{e}}re, Madeleine and Soulat, Romain and Dinechin, Beno{\^{\i}}t Dupont de},
year = {2018},
journal = {Design Autom. for Emb. Sys.},
number = {1},
pages = {141--181},
volume = {22},
team = {RSD, DCS},
}