Safety, Dependability and Performance Analysis of Extended AADL Models