Specification of schedulability assumptions to leverage multiprocessor Analysis. - Rubini, Stéphane; Nicolas, Valérie-Anne; Singhoff, Frank; Plantec, Alain; Tran, Hai Nam; Dissaux, Pierre (Journal of Systems Architecture, 2022)