adding comments about configuration properties to the run configuration
converted functions of FoamNamingExtensions to static and @Pure functions
reimplemented zip() and zipWith() fully in Xtend, using a single ZippingWithIterable class
marked some functions as pure
updated link to the latest FOAM paper published in Oxford Computer Journal
refactoring of Lts2NusmvLangService
Merge branch 'Lts2NusmvLangService'