@inproceedings{inproceedingsd8ac30d4,
title   = {Verification of automated systems using invariants},
author = {Salmon, Arianna Zoila Oliveira and Del Foyo, Pedro Manuel Gonzalez and Silva, José Reinaldo},
year = {2014},
publisher = {Sba/IFAC]},
booktitle   = {Congresso Brasileiro de Automática - CBA}
}