Human behavior modeling in train control systems | IEEE Conference Publication | IEEE Xplore