JOURNAL OF DESIGN AUTOMATION AND FAULT-TOLERANT COMPUTING