Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system | IEEE Conference Publication | IEEE Xplore