Sale of Denali Solutions, LLC, a global leader in records management systems (RMS), investigative and administrative solutions, to state and local public safety agencies to Intergraph Corporation, a world leader in public safety and security software solutions.