_id,doi,title
4623,10.1007/3-540-45449-7_11,Interface theories for component-based design
4449,10.1007/3-540-45449-7,EMSOFT: Embedded Software
4479,10.1007/3-540-45449-7_12,Giotto: A time-triggered language for embedded programming