Bit-flip injection strategies for FSMs modeled in VHDL behavioral level | IEEE Conference Publication | IEEE Xplore