Formal Models and Semantics