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)].