DOI,IST REx ID,Title of publication
10.1145/1017753.1017774,4445,A typed assembly language for real-time programs