Thomas, Davidtz2015-01-192015-01-192015-01-19http://hdl.handle.net/10539/16600enThe validation of embedded softwareThesis