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