Understanding Temporal Logic. Introducing Coherent Object System Architecture (COSA) Open PDF Document Details Document Type Technical Report Publication Date Apr 01, 2010 Accession Number ADA558344 Entities People Gordon Morrison Tags DTIC Thesaurus Topics Abstracts Calculators Central Processing Units Control Systems Debugging Engineering Engineers Governments Information Operations Language Software Development Specifications Standards Transitions