A Design Tool for Dependable Video on Demand Applications