Railway Signaling In Theory And Practice