Risk Assessment of Railway Transportation Systems using Timed Fault Trees. (14th October 2014)