MBSA Example using AADL