Browser does not support script.
Mancini, Loretta Ilaria (2015). Formal Verification of Privacy in Pervasive Systems. University of Birmingham. Ph.D.