DOI,IST REx ID,Title of publication
10.1109/MCS.2003.1172829,4468,From control models to real-time code using Giotto