Maynard, P. Secrutiy Model Converter (SMC) [Computer software]. https://github.com/PMaynard/smc