Model formulation

See Chapter 2 of Thesis