@misc{Heiser_16:dagstuhl, author = {Gernot Heiser}, howpublished = {Invited Dagstuhl Seminar}, month = oct, title = {Challenges of Temporal Isolation}, year = {2016} }