A Safety Framework and Alarming Model for Train Operation Environment Based on CPS | IEEE Conference Publication | IEEE Xplore