DREP: A Requirements Engineering Process for Dependable Reactive Systems | Publicación