re-engineered transformation to nuxmv (experimental)
an umbrella issue for all the issues created for putting the new transformation in the release
(from redmine: issue id 2643, created on 2016-07-20, closed on 2016-08-01)
- Relations:
- child #2642 (closed)
- child #2644 (closed)
- child #2648 (closed)