Conceptual Foundations of the Synthesis of Safe Train Traffic Control Systems | Synapse