Formal Verification and Validation of AADL Model