Derivation and numerical analysis of implicit time stepping schemes