Title: Formal Models and Semantics