Models and requirements