Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.