Johnson, Chris. 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 (December). https://doi.org/10.14279/tuj.eceasst.45.679.