Add specification of models