Contributions to Improvement of the Formal Properties Verification Process in AADL Programs | IEEE Conference Publication | IEEE Xplore