T-VEC will present "Mars Polar Lander Fault Identification Using Model-based Testing" at the NASA Software Engineering Workshop