A specification language. IT expresses black box interface specifications for large distributed systems wITh real-time constraints. IT incorporates conceptual models, inherITance and the event model. IT is a descendant of MSG.84. ["An Introduction to the Specification Language Spec", V. Berzins et al, IEEE Software 7(2):74-84 (Mar 1990)].