Models for CORD

CORD adopts a model-based architecture, where XOS implements its modeling support. This guide describes the how models are expressed in XOS, and documents the XOS toolchain used to auto-generate various elements of CORD from these models.