Using Detailing Concept to Assess Railway Functional Safety | Synapse