Detecting probability of ice formation on overhead lines of the dutch railway network | IEEE Conference Publication | IEEE Xplore