A Framework for Network Security Verification of Automated Vehicles in the Agricultural Domain | IEEE Conference Publication | IEEE Xplore