23rd DASC the 23rd Digital Avionics Systems Conference : proceedings : Salt Lake City, UT, October 24-28, 2004 / (IEEE,)