Assertion: integrity | /r/CapableOf | market by green hills software
Facets:
Source sentences:
text: INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software.