Building Safe and Secure Systems with AADL