Spray Time Estimation of a High Pressure Water Supply System for Water Mist Spray | IEEE Conference Publication | IEEE Xplore