Cristiana Bolchini, Antonio Miele: Design Space Exploration for the Design of Reliable. DFT 2008: 332-340