selected publications conference paper High-Assurance Avionics Multi-Domain RFID Processing System. . 2008