@inproceedings{SPB+13e,
title = {Modeling Mixed Critical Systems in Real-Time BIP },
author = {Socci, Dario and Poplavko, Petro and Bensalem, Saddek and Bozga, Marius},
year = {2013},
booktitle = {Proc. ReTiMiCs-2013, Workshop on Real-Time Mixed Criticality Systems},
team = {DCS, RSD},
}
