Started with promela datamodel