Lucian Prodan Mihai Udrescu Oana Boncalo Mircea Vladutiu Design for dependability in emerging technologies. 2007 3 JETC 2 http://doi.acm.org/10.1145/1265949.1265952 db/journals/jetc/jetc3.html#ProdanUBV07