Experience in programming device drivers with the Ravenscar profile - López J; Esquinas A; Zamorano J; De La Puente J (Ada User Journal, 2010)