Degrees are useless in Snort when measuring temperature. - Svenja Huntemann; Tomasz Maciosowski (Theor. Comput. Sci., 2025)