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, (Dec. 2011). DOI:https://doi.org/10.14279/tuj.eceasst.45.679.