DOI,IST REx ID,Title of publication
10.1145/384197.384208,4478,Embedded control systems development with Giotto