Tortuga Logic And DARPA Extend Partnership Through the DARPA Toolbox initiative.