Compositional schedulability analysis of real-time actor-based systems. - Jaghoori, Mohammad; Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan (Acta Informatica, 2017)