@misc{Heiser_12:artist, author = {Gernot Heiser}, howpublished = {Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France}, month = sep, title = {Can We Make Trusted Systems Trustworthy?}, year = {2012} }