Formal analysis techniques for the gisele process modeling language.
https://github.com/blambeau/gisele-analysis