Modeling a Railway Section to Assess the Effectiveness of Fixed- and Moving-Block Systems | Synapse