_id,doi,title
1256,10.1109/RTAS.2016.7461337,From stateflow simulation to verified implementation: A verification approach and a real-time train controller design