Fixed some linker issues with MSVC
Major work on PROMELA datamodel