Here is an interesting Wikipedia article on renewal theory.
The renewal function and its approximation for the Erlang(2,1) r.v. using Maple. 
In this problem the objective function is construted using the renewal reward theorem. The analysis and optimization of the average cost function is presented in this Maple worksheet.