VHDL modelling and analysis of fault secure systems | IEEE Conference Publication | IEEE Xplore