From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design | IEEE Conference Publication | IEEE Xplore