This is a follow-up Q & A session for the previously held webinar on Model Check & GateKeeper. with Corey Jones of NASA and Lance Lie of Raytheon