Giovanni Beltrame Cristiana Bolchini Antonio Miele Multi-level fault modeling for transaction-level specifications. 87-92 2009 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1531542.1531565 conf/glvlsi/2009 db/conf/glvlsi/glvlsi2009.html#BeltrameBM09