An Internet-of-Things-Enabled System for Road Icing Detection and Prediction