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.