Methods of Providing Hardware Safety for Microprocessor Train Control Systems | Synapse