The ESA Ravenscar Benchmark. - Romain Berrendonner; Jérôme Guitton (Ada-Europe, 2005)