Kernel-level time composability for avionics applications. - Andrea Baldovin; Andrea Graziano; Enrico Mezzetti; Tullio Vardanega (SAC, 2013)