@phdthesis{Baumann:phd, address = {Sydney, Australia}, author = {Andrew Baumann}, month = aug, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, paperurl = {https://trustworthy.systems/publications/papers/Baumann%3Aphd.pdf}, school = {UNSW}, title = {Dynamic Update for Operating Systems}, year = {2007} }