selected publications conference paper Improving performance and reliability assessments of avionics systems. 2011 IEEE/AIAA 30th Digital Avionics Systems Conference. 2011