Rosetta
Named after the Rosetta stone
A proposed language suitable for the definition of constraints and requirements on complex microelectronics-based systems and their components. See SDML.