C. Johnson, “Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems”, ECEASST, vol. 45, Dec. 2011.