Use e3tool to create e3fraud models and do vulnerability analysis. The code is available on github. It requires Java.