Modeling mixed-critical systems in real-time bip (2013)

by D Socci, P Poplavko, S Bensalem, M Bozga
Venue:Proc. ReTiMiCS, RTCSA