Alhawi, O.O.AlhawiMustafa, M.A.M.A.MustafaCordeiro, L.L.Cordeiro2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/32430Finding security vulnerabilities in unmanned aerial vehicles using software verificationProceedings paper