Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. - Rafael Garlet de Oliveira; Gabriel H. R. Santos; Jean-Marie Farines; Leandro Buss Becker (SBESC, 2011)