DOI,IST REx ID,Research Group,Title of publication
10.1109/RTAS.2016.7461337,1256,ToHe,From stateflow simulation to verified implementation: A verification approach and a real-time train controller design