T-VEC will present "Using Models For Test Generation And Analysis" at the Digital Avionics System Conference