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. https://doi.org/10.14279/tuj.eceasst.45.679