@misc{Heiser_13:artist, author = {Gernot Heiser}, howpublished = {Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France}, month = sep, title = {Making Trusted Systems Trustworthy}, year = {2013} }