Support for custom event sources with promela
Merge pull request #25 from sradomski/master

Support for custom event sources with promela