A model for the fleet sizing of demand responsive transportation services with time windows