DOI,IST REx ID,Title of publication
10.1007/3-540-45449-7,4449,EMSOFT: Embedded Software
10.1007/3-540-45449-7_12,4479,Giotto: A time-triggered language for embedded programming
10.1007/3-540-45449-7_11,4623,Interface theories for component-based design