A Java library for parsing and programmatically using threat models - View it on GitHub