Started with promela datamodel
INT32_MAX not defined
dot was dropped in favor of debug
replaced INT32_MAX with limits.h
Merge pull request #22 from sradomski/master

Promela datamodel