Example

[Oliver]

Hi!

Could anybody send me an example or a paper that shows me how to do a
fault simulation with verifault-XL?

thanks