Optimizing maintenance service contracts under imperfect maintenance and a finite time horizon. (13th August 2012)