Case Study chapter has been removed, and cannot be released before July 2020.
Full version is at ftp://ubira.bham.ac.uk/eTheses/938_Shillam/