Question: Which not-for-profit laboratory is based in the same city as the aerospace focused software company, Intermetrics?

Context paragraphs:
Joswell Valdez: Joswell Valdez is a Dominican American businessman and a mobile application programmer.  Valdez is also the co-founder of Izzy Care an ai focused software solution for health enterprises and founder of PocketSpace, a digital agency based in New York City.

Flexera Software: Flexera Software is an American computer software company based in Itasca, Illinois.  Flexera Software is a private equity backed company, with more than 70,000 customers.  Flexera Software provides software monetization, composition analysis and installation solutions for application producers and software and cloud optimization and Secops solutions to enterprises.  The company's products include InstallShield, InstallAnywhere, FlexNet Publisher, AdminStudio, App Portal, FlexNet Manager Suite for Enterprises, Software Vulnerability Manager and Code Insight.  The company has approximately 1,000 employees worldwide, among which 250 are located in its Chicago-area headquarters.  The company has been named a Top Chicago workplace by the Chicago Tribune in 2012, 2013, 2014, 2015, and 2016.

Helix Software Company: Helix Software Company was a New York City based software company founded in October 1986.  The company developed software tools and utilities for DOS and Windows.  In 1993, Helix licensed some of its memory management technology to Microsoft for use in MS-DOS 6.0.  Microsoft subsequently released Helix's memory management technology as part of the MEMMAKER and EMM386 DOS commands.

ILOG: ILOG was an international software company purchased and incorporated into IBM announced in January, 2009.  It created enterprise software products for supply chain, business rule management, visualization and optimization.  The main product line for Business Rules Management Systems (BRMS) has been rebranded as IBM Operational Decision Manager (ODM).  Many of the related components retain the ILOG brand as a part of their name.  See IBM Corporate link below for more details.  The software developed by the ILOG software company supports several software platforms, including COBOL, C++, C#, . NET, Java, AJAX and Adobe Flex / AIR.

WebMethods: webMethods was an enterprise software company, acquired by Software AG, focused on application integration, business process integration and B2B partner integration.  Founded in 1996, the company sold systems for organizations to use web services to connect software applications over the Internet.  In 2000, the company went public on the NASDAQ in the most successful software IPO to date, based on investor interest and first day share price appreciation.  In 2002, the company was named by Deloitte as the fastest-growing software company in North America over the period 1998 to 2002.  In 2007 webMethods was acquired by Software AG for $546 million and was made a subsidiary of that company.  In 2010 the webMethods division of Software AG recorded over $668 million in revenues.  Software AG retained the webMethods name, and uses it as a brand to identify a software suite encompassing process improvement, SOA enablement, IT modernization and business and partner integration.

VT MÄK: VT MÄK, also known as MÄK Technologies, Inc. is a software company based in Cambridge, Massachusetts that provides commercial off-the-shelf (COTS) modeling and simulation software.  The company develops and sells software for distributed simulations that system integrators, governments, and research institutions use to build and populate 3D simulated environments. Users include medical, aerospace, defense, and transportation industries.  In addition to offering COTS software, MÄK provides the following services: simulation content creation, software customization, interoperability, research and development, and training.

Intermetrics: Intermetrics, Inc. was a software company founded in Cambridge, Massachusetts in 1969 by several veterans of M.I.T.'s Instrumentation Laboratory who had worked on the software for NASA's Apollo Program including the Apollo Guidance Computer.

Charles Stark Draper Laboratory: Draper is an American not-for-profit research and development organization, headquartered in Cambridge, Massachusetts; its official name is "The Charles Stark Draper Laboratory, Inc".  The laboratory specializes in the design, development, and deployment of advanced technology solutions to problems in national security, space exploration, health care and energy.

HAL/S: HAL/S ("High-order Assembly Language/Shuttle") is a real-time aerospace programming language compiler and cross-compiler for avionics applications used by NASA and associated agencies (JPL, etc.).  It has been used in many U.S. space projects since 1973 and its most significant use was in the Space Shuttle program (approximately 85% of the Shuttle software is coded in HAL/S).  It was designed by Intermetrics in 1972 for NASA and delivered in 1973.  HAL/S is written in XPL, a dialect of PL/I.  Although HAL/S is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification, and support of aerospace and other real-time applications.  It is currently (2005) maintained by the HAL/S project of United Space Alliance.

Infor: Infor is a multi-national privately held United States-based enterprise software company.  Headquartered in New York City, Infor focuses on business applications for organizations and delivered via cloud computing as a service.  Originally focused on software ranging from financial systems and enterprise resource planning (ERP) to supply chain and customer relationship management, in 2010 Infor began to focus on software for industry niches, as well as user-friendly software design.  Infor deploys its cloud applications through Amazon Web Services and various open source software platforms.

Supporting paragraphs: Intermetrics Charles Stark Draper Laboratory
Answer: Intermetrics