NuXmv and Promela: Descriptions of translations
NuXmv: Considerations concerning the translation
NuXmv: Modelwriter: Expressions and TypeSpecifiers can be written into a smv-File
NuXmv: ModelWriter Complete
First NuXmv-Test
NuXmv: Adapt change of Assertion-Class