Lynx Software Technologies in Military Programs