... discoveries destined to change everything, and they transform that research into the solutions and products ... researches and develops solutions using model-based system engineering, formal methods, planning, decision ...