An Algebraic Approach to DC Railway Electrification Verification | Publicación