Annex F2 – SDL‑2010 formal definition: Static semantics F2.1 General information for the static semantics F2.2 Static semantics F2.3 Transformation of SDL‑2010 shorthands