Andrea De Lucia, James R. Cordy, John Mylopoulos: Introduction. Autom. Softw. Eng. 11(1): 5-6 (2004)