_id,doi,title
4445,10.1145/1017753.1017774,A typed assembly language for real-time programs