Dependability Evaluation of Real Railway Interlocking Device | IEEE Conference Publication | IEEE Xplore