T-VEC will present "Automated Model Analysis and Test Generation for Flight Guidance Mode Logic" at the Digital Avionics System Conference