cambio en la parte de bounded model checking de la intro
Merge branch 'ScalaParAlloyExpFramework' of ssh://github.com/ivissani/rfm into ScalaParAlloyExpFramework