Numerical Verification of Optimality Conditions in Optimal Control Problems - Akindeinde, Saheed Ojo (2013)