High-Assurance Avionics Multi-Domain RFID Processing System | IEEE Conference Publication | IEEE Xplore