NuXmv: Small name refactoring
NuXmv: SimpleGlobalFields for Updates and ProvidedPorts are created
NuXmv: Missed to update Context
Context: small improvement to SimpleGlobalField-Generation, pattern for creation of fields for required Ports
All fields are created
NuXmv: Added type WriteOnceEffectOnTarget to WriteOnceMetamodel
NuXmv: New transformation in cases where a variable might have different options for the next state
NuXmv: Initial Values Assigned
NuXmv: Improve readability
NuXmv: Improve readability
NuXmv: FindNuXmv-function
NuXmv: First automated test of the generated model of test case 1
NuXmv: Interesting commands added
NuXmv: Ideas for State Tracking of NuXmv
NuXmv: Interfaces to execute Commands added
NuXmv: Process Code before rewriting
NuXmv: New code for interactive access to command line of NuXmv work
NuXmv: Fixed Bugs with newline
NuXmv: Now it works
NuXmv: TODO added