DOI,IST REx ID,Title of publication
10.1145/1286821.1286824,4446,"The embedded machine: Predictable, portable real-time code"