_id,doi,title
4418,10.1145/1064979.1064986,A programmable microkernel for real-time systems