@misc{Heiser_12:upmarc, author = {Gernot Heiser}, howpublished = {Invited lecture at UPMARC Summer School on Programming Multicore Computer Systems, Uppsala, Sweden}, month = jun, title = {How to Build Truly Dependable Systems}, year = {2012} }