@misc{Heiser_12:tsd, author = {Gernot Heiser}, howpublished = {Invited talk at 2nd Tsinghua Software Day, Beijing, China}, month = mar, title = {Towards a Platform for Trustworthy Systems}, year = {2012} }