2009. CONTRIBUTION TO RISK ANALYSIS OF AUTOMATIC TRAIN CONTROL MODULE. Perner’s Contacts. 4, 3 (Nov. 2009), 67–74.