Railway Signal Digitalization with the European Rail Traffic Management System and Positive Train Control: Industry 4.0 Expectations and Reality | Synapse