Apostolos Zarras Christos Kloukinas Valérie Issarny Quality Analysis of Dependable Systems: A Developer Oriented Approach. 197-218 2002 conf/icse/2002wads WADS http://dx.doi.org/10.1007/3-540-45177-3_9 db/conf/icse/wads2002.html#ZarrasKI02