SPIN project for Model-Driven Software Development Summer 2014