Performance optimisation of a CNC machine through exploration of timed state space. (13th October 2010)