Towards the verification of RAISE specifications through model checking - Perna, Juan Ignacio