_id,doi,title
4470,10.1007/3-540-45828-X_7,Time-safety checking for embedded programs