@article{MartíBlasco:61132, author = "Martí Blasco, Pablo and Provost, Julien", title = "{Diagnosis basada en modelo - Aplicada a modelos de Matlab Stateflow}", year = "2016", }