Stav dette: Design and analysis of software systems / edited by Alan Daniels, Don Yeates.