Mário Brito John May Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms. 96-108 2007 conf/ispw/2007 ICSP http://dx.doi.org/10.1007/978-3-540-72426-1_9 db/conf/ispw/icsp2007.html#BritoM07