Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime. - Paolo Carletto; Tullio Vardanega (Ada-Europe, 2017)