Approaching the Railway Traffic Resilience with Object Enhanced Time Petri Nets | IEEE Conference Publication | IEEE Xplore