Thesis PDF: thesis/safety_reset.pdf