Jaca: a reflective fault injection tool based on patterns | IEEE Conference Publication | IEEE Xplore