Hazard analysis of train control system using HAZOP-KR methods | IEEE Conference Publication | IEEE Xplore