D-TEC: A CAFe (DSL) transformed program running on Titan