Verificación de modelos independientes de la plataforma : un caso de estudio - Actis, Carolina Inés (2017)