Towards a theory for discretizations of stiff differential systems