Support for custom event sources with promela