Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.
Merge commit 'e527ddf5d1a81b283b213c408b9ea288ca599f9c' into development
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd