Model-Based Risk Assessment of Power Converters: Case Study of On-Board Battery System for Railway | IEEE Journals & Magazine | IEEE Xplore