DOI,IST REx ID,Title of publication
10.1145/512529.512567,4444,"The embedded machine: predictable, portable real-time code"