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