Johnson, C. (2011) “Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.679.