New model.tex from ReqT