A function availability-based integrated product-service network model for high-end manufacturing equipment. (December 2018)