The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF