Johnson, C. Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction With Global Navigation Satellite Systems. eceasst 2011, 45.