Specification and Description Language (SDL) Annex F2: SDL Formal Definition: Static Semantics Series Z: Languages and General Software Aspects for Telecommunication Systems Formal Description Techniques (FDT) - Specification and Description Language (SDL)