Annex F3 – SDL‑2010 formal definition: Dynamic semantics F3.1 General information F3.2 Behaviour semantics F3.3 Data semantics Appendix I to Annex F3 – List of abstract syntax grammar rules used