Utilizing the spectral properties of weighted data flow graphs for designing railway signaling systems | IEEE Conference Publication | IEEE Xplore