Parker, David (David James), "Multi-objective optimisation of safety-critical hierarchical systems", , 2010