Security-Minded Modelling and Verification of Autonomous Satellite Docking. - Juel Hussain; Louise A. Dennis; Clare Dixon; Marie Farrell (ABZ, 2026)