model formulation