DOI,IST REx ID,Title of publication
10.1145/1064979.1064986,4418,A programmable microkernel for real-time systems