Analyse et conception des systèmes temps réel — John Edéus