@misc{Heiser_11:ospert, author = {Gernot Heiser}, howpublished = {Keynote at Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Porto, Portugal}, month = jul, title = {Towards an {OS} Platform for Truly Dependable Real-Time Systems}, year = {2011} }