The Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include: * Constraint representation * Heterogeneous system representation and specification composability * Well-defined formal semantics and support for formal analysis * Scalability to large designs Rosetta was undergoing standardization at various times.