_id,doi,title
4631,10.1007/3-540-45828-X_9,Timed interfaces
4421,10.1007/3-540-45828-X_5,A Giotto-based helicopter control system
4470,10.1007/3-540-45828-X_7,Time-safety checking for embedded programs