Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore