Duration calculus specification of scheduling for tasks with shared resources | Publicación