Sonja-Lara Bepperling, Andreas Schöbel: Estimation of Safety Requirements for Wayside Hot Box Detection Systems. FORMS/FORMAT 2010: 135-143